solve-1.0: 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

boardSize :: 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 #

data Pos Source #

Constructors

Pos
Fields foxOnMove :: Bool 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 #

initial :: Pos Source #

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

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

foxMove :: Pos -> [Pos] Source #

houndsMove :: Pos -> [Pos] Source #

move :: Pos -> [Pos] Source #

gameOver :: Pos -> Bool Source #

data Eval Source #

Constructors

FoxEscape Int
FoxCapture Int

Instances

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

foxWin :: Eval Source #

houndsWin :: Eval Source #

delay :: Eval -> Eval Source #

eval :: Pos -> Either Eval ([Eval] -> Bool -> Eval) Source #

game :: Game Pos Eval Source #