Solve.Game

Documentation

data Player

Constructors

Player1

Player2

Instances

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)

data Eval

Constructors

Win Player Int

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

better :: Ord a => Player -> a -> a -> Bool

best :: Ord a => Player -> [a] -> a

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

sameEval :: Eval -> Eval -> Bool

winning :: Player -> Eval -> Bool

win :: Player -> Eval

delay :: Eval -> Eval

turnEval :: Eval -> Eval

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

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

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

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

data Force

Constructors

ForceIn Int

ForceNever

Instances

Eq Force

Defined in Solve.Game

Methods

(==) :: Force -> Force -> Bool

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

Ord Force

Defined in Solve.Game

Methods

compare :: Force -> Force -> Ordering

(<) :: Force -> Force -> Bool

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

(>) :: Force -> Force -> Bool

(>=) :: Force -> Force -> Bool

max :: Force -> Force -> Force

min :: Force -> Force -> Force

Show Force

Defined in Solve.Game

Methods

showsPrec :: Int -> Force -> ShowS

show :: Force -> String

showList :: [Force] -> ShowS

type Forced p = Val p Force

bestForce :: Ord a => Player -> Player -> [a] -> a

delayForce :: Force -> Force

forcedWith :: Ord p => Game p -> Player -> (Player -> p -> Bool) -> Forced p -> Player -> p -> (Force, Forced p)

forced :: Ord p => Game p -> Player -> (Player -> p -> Bool) -> Player -> p -> Forced p

data Max v

Constructors

Max v Int

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)

type Weight = Double

type Strategy p = [(Weight, p)] -> [(Weight, p)]

moveDistStrategy :: Eq p => Game p -> Strategy p -> Player -> p -> [(Prob, p)]

distStrategy :: Eq p => Strategy p -> [p] -> [(Prob, p)]

applyStrategy :: Strategy p -> [p] -> [(Weight, p)]

weightlessStrategy :: [p] -> [(Weight, p)]

idStrategy :: Strategy p

noStrategy :: Strategy p

thenStrategy :: Strategy p -> Strategy p -> Strategy p

orelseStrategy :: Strategy p -> Strategy p -> Strategy p

tryStrategy :: Strategy p -> Strategy p

filterStrategy :: (p -> Bool) -> Strategy p

sameEvalStrategy :: Eval -> (p -> Eval) -> Strategy p

maxStrategy :: Ord v => (p -> v) -> Strategy p

bestStrategy :: Player -> (p -> Eval) -> Strategy p

stopLossStrategy :: Ord p => Solve p -> Player -> Int -> Strategy p

forcedStrategy :: Ord p => Forced p -> Player -> Int -> Strategy p

type StrategyFail p = Set ((Eval, p), (Eval, p), (Eval, p))

validateStrategy :: Ord p => Game p -> Solve p -> Player -> Strategy p -> Player -> p -> StrategyFail p

type ProbWin p = Val p Prob

type Adversaries p = PlayerState [(Strategy p, ProbWin p)]

probWinWith :: Ord p => Game p -> Player -> Strategy p -> ProbWin p -> Player -> p -> (Prob, ProbWin p)

probWin :: Ord p => Game p -> Player -> Strategy p -> Player -> p -> ProbWin p

moveDist :: Ord p => Game p -> Solve p -> Adversaries p -> Player -> p -> ([(Prob, p)], Adversaries p)