Documentation

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

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

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

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

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

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

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

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

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

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

standardBoardSize :: (Int, Int) Source #

standardFleetList :: [(ShipSize, NumberOfShips)] Source #

enumerateFirst :: IO () Source #

enumerateMixed :: IO () Source #

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

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

enumerateShip :: IO () Source #

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

enumerateRandom :: IO () Source #

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

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

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

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

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

estimateDistribution :: IO () Source #

exactDistribution :: IO () Source #

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