Documentation

type Weight = Double Source #

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

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

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

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

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

idStrategy :: Strategy p Source #

noStrategy :: Strategy p Source #

thenStrategy :: Strategy p -> Strategy p -> Strategy p Source #

orelseStrategy :: Strategy p -> Strategy p -> Strategy p Source #

tryStrategy :: Strategy p -> Strategy p Source #

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

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

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

sameResultStrategy :: Player -> (p -> Eval) -> Strategy p Source #

stopLossStrategy :: Ord p => Solve p -> Player -> Moves -> Strategy p Source #

forceStrategy :: Ord p => Force p -> Player -> Moves -> Strategy p Source #

mixedStrategy :: Ord p => Prob -> Strategy p -> Strategy p -> Strategy p Source #

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

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

type ProbWin p = Val p Prob Source #

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

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

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

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