Solve.Game

Documentation

data Player

Constructors

Player1

Player2

Instances

Bounded Player

Defined in Solve.Game

Methods

minBound :: Player

maxBound :: Player

Enum Player

Defined in Solve.Game

Methods

succ :: Player -> Player

pred :: Player -> Player

toEnum :: Int -> Player

fromEnum :: Player -> Int

enumFrom :: Player -> [Player]

enumFromThen :: Player -> Player -> [Player]

enumFromTo :: Player -> Player -> [Player]

enumFromThenTo :: Player -> Player -> Player -> [Player]

Eq Player

Defined in Solve.Game

Methods

(==) :: Player -> Player -> Bool

(/=) :: Player -> Player -> Bool

Ord Player

Defined in Solve.Game

Methods

compare :: Player -> Player -> Ordering

(<) :: Player -> Player -> Bool

(<=) :: Player -> Player -> Bool

(>) :: Player -> Player -> Bool

(>=) :: Player -> Player -> Bool

max :: Player -> Player -> Player

min :: Player -> Player -> Player

Show Player

Defined in Solve.Game

Methods

showsPrec :: Int -> Player -> ShowS

show :: Player -> String

showList :: [Player] -> ShowS

newtype PlayerState s

Constructors

PlayerState (s, s)

turn :: Player -> Player

getPlayerState :: PlayerState s -> Player -> s

updatePlayerState :: (s -> (a, s)) -> PlayerState s -> Player -> (a, PlayerState s)

type Moves = Int

data Event

Constructors

In Moves

Never

Instances

Eq Event

Defined in Solve.Game

Methods

(==) :: Event -> Event -> Bool

(/=) :: Event -> Event -> Bool

Ord Event

Defined in Solve.Game

Methods

compare :: Event -> Event -> Ordering

(<) :: Event -> Event -> Bool

(<=) :: Event -> Event -> Bool

(>) :: Event -> Event -> Bool

(>=) :: Event -> Event -> Bool

max :: Event -> Event -> Event

min :: Event -> Event -> Event

Show Event

Defined in Solve.Game

Methods

showsPrec :: Int -> Event -> ShowS

show :: Event -> String

showList :: [Event] -> ShowS

now :: Event

delay :: Event -> Event

nowOrNever :: Bool -> Event

data Eval

Constructors

Win Player Moves

Draw

Instances

Eq Eval

Defined in Solve.Game

Methods

(==) :: Eval -> Eval -> Bool

(/=) :: Eval -> Eval -> Bool

Ord Eval

Defined in Solve.Game

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

Defined in Solve.Game

Methods

showsPrec :: Int -> Eval -> ShowS

show :: Eval -> String

showList :: [Eval] -> ShowS

compareEval :: Player -> Eval -> Eval -> Ordering

betterEval :: Player -> Eval -> Eval -> Bool

bestEval :: Player -> [Eval] -> Eval

winEval :: Player -> Eval

delayEval :: Eval -> Eval

turnEval :: Eval -> Eval

betterResult :: Player -> Eval -> Eval -> Bool

sameResult :: Eval -> Eval -> Bool

winning :: Player -> Eval -> Bool

type Game p = Player -> p -> Either Eval [p]

move :: Game p -> Player -> p -> [p]

gameOver :: Game p -> Player -> p -> Bool

type DfsPre p a v = Player -> DfsPre p a v

type DfsPost p a v = Player -> DfsPost p a v

type Val p v = DfsResult (Player, p) v

dfsWith :: Ord p => DfsPre p a v -> DfsPost p a v -> Val p v -> Player -> p -> (v, Val p v)

eval :: Ord p => Val p v -> Player -> p -> Maybe v

evalUnsafe :: Ord p => Val p v -> Player -> p -> v

bfs :: Ord p => Game p -> Player -> p -> [(Player, p)]

type Solve p = Val p Eval

solveWith :: Ord p => Game p -> Solve p -> Player -> p -> (Eval, Solve p)

solve :: Ord p => Game p -> Player -> p -> Solve p

reachable :: Solve p -> Int

type Games p = Val p Integer

gamesWith :: Ord p => Game p -> Games p -> Player -> p -> (Integer, Games p)

games :: Ord p => Game p -> Player -> p -> Games p

type Force p = Val p Event

forceWith :: Ord p => Game p -> Player -> (Player -> p -> Bool) -> Force p -> Player -> p -> (Event, Force p)

force :: Ord p => Game p -> Player -> (Player -> p -> Bool) -> Player -> p -> Force p

data Max v

Constructors

Max v Moves

Instances

Eq v => Eq (Max v)

Defined in Solve.Game

Methods

(==) :: Max v -> Max v -> Bool

(/=) :: Max v -> Max v -> Bool

Ord v => Ord (Max v)

Defined in Solve.Game

Methods

compare :: Max v -> Max v -> Ordering

(<) :: Max v -> Max v -> Bool

(<=) :: Max v -> Max v -> Bool

(>) :: Max v -> Max v -> Bool

(>=) :: Max v -> Max v -> Bool

max :: Max v -> Max v -> Max v

min :: Max v -> Max v -> Max v

Show v => Show (Max v)

Defined in Solve.Game

Methods

showsPrec :: Int -> Max v -> ShowS

show :: Max v -> String

showList :: [Max v] -> ShowS

gameMaxWith :: (Ord p, Ord v) => Game p -> Player -> (Player -> p -> v) -> Val p (Max v) -> Player -> p -> (Max v, Val p (Max v))

gameMax :: (Ord p, Ord v) => Game p -> Player -> (Player -> p -> v) -> Player -> p -> Val p (Max v)