Labyrinth.Generate

Documentation

generateLabyrinth :: RandomGen g => Int -> Int -> Int -> g -> (Labyrinth, g)

type LabGen g a = LabState (Rand g) a

type CellPredicate m = Position -> LabState m Bool

type CellPredicateR g = CellPredicate (Rand g)

isTypeF :: Monad m => (CellType -> Bool) -> CellPredicate m

isType :: Monad m => CellType -> CellPredicate m

isLand :: Monad m => CellPredicate m

perimeter :: Labyrinth -> Int

area :: Labyrinth -> Int

chooseRandomR :: RandomGen g => [a] -> LabGen g a

randomDirection :: RandomGen g => LabGen g Direction

allOf :: Monad m => [a -> m Bool] -> a -> m Bool

cellIf :: RandomGen g => CellPredicateR g -> LabGen g Position

putCell :: RandomGen g => CellType -> LabGen g Position

putCellIf :: RandomGen g => CellPredicateR g -> CellType -> LabGen g Position

neighbors :: Monad m => Position -> LabState m [Position]

allNeighbors :: Monad m => CellPredicate m -> CellPredicate m

isArmoryHospital :: Monad m => CellPredicate m

putAH :: RandomGen g => CellType -> LabGen g Position

putArmories :: RandomGen g => LabGen g ()

putHospitals :: RandomGen g => LabGen g ()

noTreasures :: Monad m => CellPredicate m

putTreasure :: RandomGen g => Treasure -> LabGen g ()

hasWall :: Monad m => Direction -> CellPredicate m

putExit :: RandomGen g => Wall -> LabGen g ()

putExits :: RandomGen g => LabGen g ()

putPits :: RandomGen g => LabGen g ()

foldTimes :: Monad m => a -> Int -> (a -> m a) -> m a

foldTimes_ :: Monad m => a -> Int -> (a -> m a) -> m ()

putRivers :: RandomGen g => LabGen g ()

hasLandAround :: Monad m => CellPredicate m

landCellThere :: Monad m => Position -> Direction -> LabState m Bool

putTreasures :: RandomGen g => LabGen g ()

putWalls :: RandomGen g => LabGen g ()

goodReachability :: Monad m => LabState m Bool

goodDistribution :: Monad m => LabState m Bool

untilR :: MonadState v m => m Bool -> m a -> m ()

untilRN :: MonadState v m => Int -> m Bool -> m a -> m Bool

generate :: RandomGen g => LabGen g ()