Solve.NoughtsCrosses

Documentation

boardSize :: Int

data Coord

Constructors

Coord Int Int

Instances

Eq Coord

Defined in Solve.NoughtsCrosses

Methods

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

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

Ord Coord

Defined in Solve.NoughtsCrosses

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.NoughtsCrosses

Methods

showsPrec :: Int -> Coord -> ShowS

show :: Coord -> String

showList :: [Coord] -> ShowS

coords :: [Int]

row :: Int -> [Coord]

column :: Int -> [Coord]

board :: Set Coord

winningLines :: [Set Coord]

containsWinningLine :: Set Coord -> Bool

data Pos

Constructors

Pos

Fields

• noughts :: Set Coord
• crosses :: Set Coord

Instances

Eq Pos

Defined in Solve.NoughtsCrosses

Methods

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

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

Ord Pos

Defined in Solve.NoughtsCrosses

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.NoughtsCrosses

Methods

showsPrec :: Int -> Pos -> ShowS

show :: Pos -> String

showList :: [Pos] -> ShowS

Printable Pos

Defined in Solve.NoughtsCrosses

Methods

ppPosition :: Pos -> String

ppPlayer :: Pos -> Player -> String

ppPlayerPosition :: Player -> Pos -> String

ppEval :: Pos -> Eval -> String

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

initial :: Pos

occupation :: Player -> Pos -> Set Coord

free :: Pos -> Set Coord

occupying :: Pos -> Coord -> Maybe Player

occupied :: Pos -> Coord -> Bool

isFree :: Pos -> Coord -> Bool

occupy :: Player -> Coord -> Pos -> Pos

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

game :: Game Pos

gameOver :: Player -> Pos -> Bool

evalInitial :: Val Pos v -> v

bfsInitial :: [(Player, Pos)]

solution :: Solve Pos

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

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

games :: Games Pos

gamesInitial :: Integer

study :: Player -> Study Pos

ppPlayer :: Player -> String

ppEval :: Eval -> String