solve-1.3: Solving simple games

License	MIT
Maintainer	Joe Leslie-Hurd <joe@gilith.com>
Stability	provisional
Portability	portable
Safe Haskell	Safe
Language	Haskell98

Solve.FoxHounds

Description

Documentation

packSize :: Int Source #

boardSize :: Int Source #

numSquares :: Int Source #

type Idx = Int Source #

data Coord Source #

Constructors

Instances

Eq Coord Source #
Instance details Defined in Solve.FoxHounds Methods (==) :: Coord -> Coord -> Bool # (/=) :: Coord -> Coord -> Bool #
Ord Coord Source #
Instance details Defined in Solve.FoxHounds Methods compare :: Coord -> Coord -> Ordering # (<) :: Coord -> Coord -> Bool # (<=) :: Coord -> Coord -> Bool # (>) :: Coord -> Coord -> Bool # (>=) :: Coord -> Coord -> Bool # max :: Coord -> Coord -> Coord # min :: Coord -> Coord -> Coord #
Show Coord Source #
Instance details Defined in Solve.FoxHounds Methods showsPrec :: Int -> Coord -> ShowS # show :: Coord -> String # showList :: [Coord] -> ShowS #

onBoard :: Coord -> Bool Source #

rankAdjacent :: Int -> Int -> [Coord] Source #

foxAdjacent :: Coord -> [Coord] Source #

houndAdjacent :: Coord -> [Coord] Source #

houndsReachable :: Set Coord -> Set Coord Source #

foxReachable :: Set Coord -> Coord -> Set Coord Source #

coordParity :: Coord -> Bool Source #

coordToSquare :: Coord -> Idx Source #

squareToCoord :: Idx -> Coord Source #

data Pos Source #

Constructors

Pos
Fields fox :: Coord hounds :: Set Coord

Instances

Eq Pos Source #
Instance details Defined in Solve.FoxHounds Methods (==) :: Pos -> Pos -> Bool # (/=) :: Pos -> Pos -> Bool #
Ord Pos Source #
Instance details Defined in Solve.FoxHounds Methods compare :: Pos -> Pos -> Ordering # (<) :: Pos -> Pos -> Bool # (<=) :: Pos -> Pos -> Bool # (>) :: Pos -> Pos -> Bool # (>=) :: Pos -> Pos -> Bool # max :: Pos -> Pos -> Pos # min :: Pos -> Pos -> Pos #
Show Pos Source #
Instance details Defined in Solve.FoxHounds Methods showsPrec :: Int -> Pos -> ShowS # show :: Pos -> String # showList :: [Pos] -> ShowS #
Printable Pos Source #
Instance details Defined in Solve.FoxHounds Methods ppPosition :: Pos -> String Source # ppPlayer :: Pos -> Player -> String Source # ppPlayerPosition :: Player -> Pos -> String Source # ppEval :: Pos -> Eval -> String Source # ppPlay :: [(Player, Pos)] -> String Source #

initial :: Pos Source #

occupied :: Pos -> Coord -> Bool Source #

empty :: Pos -> Coord -> Bool Source #

isFoxBox :: Pos -> Bool Source #

posParity :: Pos -> Bool Source #

posToMove :: Pos -> Player Source #

posToIdx :: Pos -> Idx Source #

idxToPos :: Idx -> Pos Source #

foxMove :: Pos -> [Pos] Source #

houndsMove :: Pos -> [Pos] Source #

move :: Player -> Pos -> [Pos] Source #

foxEscaped :: Pos -> Bool Source #

won :: Player -> Pos -> Maybe Player Source #

game :: Game Pos Source #

gameOver :: Player -> Pos -> Bool Source #

evalInitial :: Val Pos v -> v Source #

bfsInitial :: [(Player, Pos)] Source #

solution :: Solve Pos Source #

winningFor :: Player -> Player -> Pos -> Bool Source #

winningForFox :: Player -> Pos -> Bool Source #

winningForHounds :: Player -> Pos -> Bool Source #

winDepth :: Player -> Pos -> Int Source #

perfectPlay :: Player -> Pos -> [(Player, Pos)] Source #

games :: Games Pos Source #

gamesInitial :: Integer Source #

study :: Player -> Study Pos Source #

foxBox :: Force Pos Source #

maxFoxBox :: Val Pos (Max Event) Source #

stopLossStrategy :: Player -> Int -> Strategy Pos Source #

foxBoxStrategy :: Int -> Strategy Pos Source #

maxFoxBoxStrategy :: Player -> Strategy Pos Source #

foxStrategyN :: Int -> Strategy Pos Source #

houndsStrategyN :: Int -> Strategy Pos Source #

adversaries :: Adversaries Pos Source #

strategy :: Prob -> Player -> Strategy Pos Source #

moveDist :: Prob -> Player -> Pos -> [(Pos, Prob)] Source #

validateStrategy :: Player -> Strategy Pos -> StrategyFail Pos Source #

probWin :: Player -> Strategy Pos -> ProbWin Pos Source #

opposite :: (Player, Pos) Source #

evalOpposite :: Val Pos v -> v Source #

typical :: (Player -> Pos -> Bool) -> (Player, Pos) Source #

ppPlayer :: Player -> String Source #

ppEval :: Eval -> String Source #