Solve.QueenPawns

Documentation

boardSize :: Int

data Coord

Constructors

Coord Int Int

Instances

Eq Coord

Defined in Solve.QueenPawns

Methods

(==) :: Coord -> Coord -> Bool

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

Ord Coord

Defined in Solve.QueenPawns

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

Defined in Solve.QueenPawns

Methods

showsPrec :: Int -> Coord -> ShowS

show :: Coord -> String

showList :: [Coord] -> ShowS

xCoord :: Coord -> Int

yCoord :: Coord -> Int

onBoard :: Coord -> Bool

darkSquare :: Coord -> Bool

newtype Vector

Constructors

Vector

Fields

• unVector :: Coord

Instances

Eq Vector

Defined in Solve.QueenPawns

Methods

(==) :: Vector -> Vector -> Bool

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

Ord Vector

Defined in Solve.QueenPawns

Methods

compare :: Vector -> Vector -> Ordering

(<) :: Vector -> Vector -> Bool

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

(>) :: Vector -> Vector -> Bool

(>=) :: Vector -> Vector -> Bool

max :: Vector -> Vector -> Vector

min :: Vector -> Vector -> Vector

Show Vector

Defined in Solve.QueenPawns

Methods

showsPrec :: Int -> Vector -> ShowS

show :: Vector -> String

showList :: [Vector] -> ShowS

addVector :: Vector -> Vector -> Vector

negVector :: Vector -> Vector

northVector :: Vector

eastVector :: Vector

southVector :: Vector

westVector :: Vector

northWestVector :: Vector

northEastVector :: Vector

southEastVector :: Vector

southWestVector :: Vector

rookVectors :: [Vector]

bishopVectors :: [Vector]

queenVectors :: [Vector]

moveByVector :: Vector -> Coord -> Coord

moveAlongVector :: Vector -> Coord -> [Coord]

moveAlongVectors :: [Vector] -> Coord -> [[Coord]]

data PosRep

Constructors

PosRep

Fields

• queen :: Coord
• pawns :: Set Coord

Instances

Eq PosRep

Defined in Solve.QueenPawns

Methods

(==) :: PosRep -> PosRep -> Bool

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

Ord PosRep

Defined in Solve.QueenPawns

Methods

compare :: PosRep -> PosRep -> Ordering

(<) :: PosRep -> PosRep -> Bool

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

(>) :: PosRep -> PosRep -> Bool

(>=) :: PosRep -> PosRep -> Bool

max :: PosRep -> PosRep -> PosRep

min :: PosRep -> PosRep -> PosRep

Show PosRep

Defined in Solve.QueenPawns

Methods

showsPrec :: Int -> PosRep -> ShowS

show :: PosRep -> String

showList :: [PosRep] -> ShowS

initialRep :: PosRep

occupied :: PosRep -> Coord -> Bool

empty :: PosRep -> Coord -> Bool

queenMove :: PosRep -> [PosRep]

pawnsMove :: PosRep -> [PosRep]

moveRep :: Player -> PosRep -> [PosRep]

pawnsToMoveVictoryRep :: PosRep -> Bool

type Idx = Int

newtype Pos

Constructors

Pos

Fields

• unPos :: Idx

Instances

Eq Pos

Defined in Solve.QueenPawns

Methods

(==) :: Pos -> Pos -> Bool

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

Ord Pos

Defined in Solve.QueenPawns

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

Defined in Solve.QueenPawns

Methods

showsPrec :: Int -> Pos -> ShowS

show :: Pos -> String

showList :: [Pos] -> ShowS

Printable Pos

Defined in Solve.QueenPawns

Methods

ppPosition :: Pos -> String

ppPlayer :: Pos -> Player -> String

ppPlayerPosition :: Player -> Pos -> String

ppEval :: Pos -> Eval -> String

ppPlay :: [(Player, Pos)] -> String

mkPos :: PosRep -> Pos

destPos :: Pos -> PosRep

initial :: Pos

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

pawnsToMoveVictory :: Pos -> Bool

game :: Game Pos

gameOver :: Player -> Pos -> Bool

evalInitial :: Val Pos v -> v

bfsInitial :: [(Player, Pos)]

solution :: Solve Pos

winningFor :: Player -> Player -> Pos -> Bool

winningForQueen :: Player -> Pos -> Bool

winningForPawns :: Player -> Pos -> Bool

winDepth :: Player -> Pos -> Int

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

games :: Games Pos

gamesInitial :: Integer

study :: Player -> Study Pos

stopLossStrategy :: Player -> Int -> Strategy Pos

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

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

opposite :: (Player, Pos)

evalOpposite :: Val Pos v -> v

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

ppPlayer :: Player -> String

ppEval :: Eval -> String