Combinatorics.Battleship.SetCover

Documentation

shipShape :: Ship -> Map (Int, Int) Bool

shipReserve :: Ship -> Set (Int, Int)

type AssignShip = Assign (ShipSize, Map (Int, Int) Bool) (Set (Int, Int))

assignsShip :: [ShipSize] -> (Int, Int) -> [AssignShip]

boardCoords :: (Int, Int) -> [(Int, Int)]

assignsSquare :: (Int, Int) -> [Assign (Maybe ShipSize, Map (Int, Int) Bool) (Set (Int, Int))]

assigns :: [ShipSize] -> (Int, Int) -> [Assign (Maybe ShipSize, Map (Int, Int) Bool) (Set (Int, Int))]

formatBoard :: (Int, Int) -> Map (Int, Int) Bool -> String

printState :: (Int, Int) -> State (ship, Map (Int, Int) Bool) set -> IO ()

printBoard :: (Int, Int) -> Map (Int, Int) Bool -> IO ()

standardBoardSize :: (Int, Int)

standardFleetList :: [(ShipSize, NumberOfShips)]

enumerateFirst :: IO ()

enumerateMixed :: IO ()

type AssignShipBitSet = Assign (ShipSize, Map (Int, Int) Bool) (Set Integer)

enumerateGen :: Monad m => ([AssignShipBitSet] -> m AssignShipBitSet) -> (Int, Int) -> [(ShipSize, Int)] -> m (Map (Int, Int) Bool)

enumerateShip :: IO ()

select :: RandomGen g => [a] -> StateT g Maybe a

enumerateRandom :: IO ()

listsFromBoard :: Num a => (a -> b) -> (Int, Int) -> Map (Int, Int) a -> [[b]]

formatDistr :: (Int, Int) -> Map (Int, Int) Float -> String

formatAbsDistr :: (Int, Int) -> Map (Int, Int) Word64 -> String

sumMaps :: [Map (Int, Int) Int] -> Map (Int, Int) Int

sumMapsStorable :: (Int, Int) -> [Map (Int, Int) Word64] -> Map (Int, Int) Word64

estimateDistribution :: IO ()

exactDistribution :: IO ()

tikzBrightnessField :: (Double, Double) -> [[Double]] -> String