Tak

Documentation

data GameNode a

Constructors

GameNode GameState a [GameBranch a]

data GameBranch a

Constructors

GameBranch Play (GameNode a)

type Board = Matrix Square

type Square = [Piece]

type Piece = (Stone, Colour)

data Stone

Constructors

Cap

Flat

Standing

Instances

Eq Stone

Methods

(==) :: Stone -> Stone -> Bool

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

Read Stone

Methods

readsPrec :: Int -> ReadS Stone

readList :: ReadS [Stone]

readPrec :: ReadPrec Stone

readListPrec :: ReadPrec [Stone]

Read Piece

Methods

readsPrec :: Int -> ReadS Piece

readList :: ReadS [Piece]

readPrec :: ReadPrec Piece

readListPrec :: ReadPrec [Piece]

Read Square

Methods

readsPrec :: Int -> ReadS Square

readList :: ReadS [Square]

readPrec :: ReadPrec Square

readListPrec :: ReadPrec [Square]

Read Board

Methods

readsPrec :: Int -> ReadS Board

readList :: ReadS [Board]

readPrec :: ReadPrec Board

readListPrec :: ReadPrec [Board]

Show Stone

Methods

showsPrec :: Int -> Stone -> ShowS

show :: Stone -> String

showList :: [Stone] -> ShowS

Show Piece

Methods

showsPrec :: Int -> Piece -> ShowS

show :: Piece -> String

showList :: [Piece] -> ShowS

Show Square

Methods

showsPrec :: Int -> Square -> ShowS

show :: Square -> String

showList :: [Square] -> ShowS

Generic Stone

Associated Types

type Rep Stone :: * -> *

Methods

from :: Stone -> Rep Stone x

to :: Rep Stone x -> Stone

Hashable Stone

Methods

hashWithSalt :: Int -> Stone -> Int

hash :: Stone -> Int

Hashable Board

Methods

hashWithSalt :: Int -> Board -> Int

hash :: Board -> Int

type Rep Stone

type Rep Stone = D1 (MetaData "Stone" "Tak.Types" "tak-0.1.0.0-37SVn37goY6AS0DYObYf2t" False) ((:+:) (C1 (MetaCons "Cap" PrefixI False) U1) ((:+:) (C1 (MetaCons "Flat" PrefixI False) U1) (C1 (MetaCons "Standing" PrefixI False) U1)))

data Colour

Constructors

Black

White

Instances

Eq Colour

Methods

(==) :: Colour -> Colour -> Bool

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

Read Colour

Methods

readsPrec :: Int -> ReadS Colour

readList :: ReadS [Colour]

readPrec :: ReadPrec Colour

readListPrec :: ReadPrec [Colour]

Read Piece

Methods

readsPrec :: Int -> ReadS Piece

readList :: ReadS [Piece]

readPrec :: ReadPrec Piece

readListPrec :: ReadPrec [Piece]

Read Square

Methods

readsPrec :: Int -> ReadS Square

readList :: ReadS [Square]

readPrec :: ReadPrec Square

readListPrec :: ReadPrec [Square]

Read Board

Methods

readsPrec :: Int -> ReadS Board

readList :: ReadS [Board]

readPrec :: ReadPrec Board

readListPrec :: ReadPrec [Board]

Show Colour

Methods

showsPrec :: Int -> Colour -> ShowS

show :: Colour -> String

showList :: [Colour] -> ShowS

Show Piece

Methods

showsPrec :: Int -> Piece -> ShowS

show :: Piece -> String

showList :: [Piece] -> ShowS

Show Square

Methods

showsPrec :: Int -> Square -> ShowS

show :: Square -> String

showList :: [Square] -> ShowS

Generic Colour

Associated Types

type Rep Colour :: * -> *

Methods

from :: Colour -> Rep Colour x

to :: Rep Colour x -> Colour

Hashable Colour

Methods

hashWithSalt :: Int -> Colour -> Int

hash :: Colour -> Int

Hashable Board

Methods

hashWithSalt :: Int -> Board -> Int

hash :: Board -> Int

type Rep Colour

type Rep Colour = D1 (MetaData "Colour" "Tak.Types" "tak-0.1.0.0-37SVn37goY6AS0DYObYf2t" False) ((:+:) (C1 (MetaCons "Black" PrefixI False) U1) (C1 (MetaCons "White" PrefixI False) U1))

data Play

Constructors

Place Stone Loc

Move Loc Dir [Int]

Instances

Eq Play

Methods

(==) :: Play -> Play -> Bool

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

Read Play

Methods

readsPrec :: Int -> ReadS Play

readList :: ReadS [Play]

readPrec :: ReadPrec Play

readListPrec :: ReadPrec [Play]

Show Play

Methods

showsPrec :: Int -> Play -> ShowS

show :: Play -> String

showList :: [Play] -> ShowS

data Dir

Constructors

PosX

NegX

PosY

NegY

Instances

Enum Dir

Methods

succ :: Dir -> Dir

pred :: Dir -> Dir

toEnum :: Int -> Dir

fromEnum :: Dir -> Int

enumFrom :: Dir -> [Dir]

enumFromThen :: Dir -> Dir -> [Dir]

enumFromTo :: Dir -> Dir -> [Dir]

enumFromThenTo :: Dir -> Dir -> Dir -> [Dir]

Eq Dir

Methods

(==) :: Dir -> Dir -> Bool

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

Read Dir

Methods

readsPrec :: Int -> ReadS Dir

readList :: ReadS [Dir]

readPrec :: ReadPrec Dir

readListPrec :: ReadPrec [Dir]

Show Dir

Methods

showsPrec :: Int -> Dir -> ShowS

show :: Dir -> String

showList :: [Dir] -> ShowS

type Loc = (Int, Int)

data GameState

Constructors

GameState

Fields

• stBoard :: Board
• stWhite :: Player
• stBlack :: Player
• stFinished :: Maybe Finished
• stPlaysNext :: Colour
• stNextTurn :: Int

Instances

Eq GameState

Methods

(==) :: GameState -> GameState -> Bool

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

Show GameState

Methods

showsPrec :: Int -> GameState -> ShowS

show :: GameState -> String

showList :: [GameState] -> ShowS

Generic GameState

Associated Types

type Rep GameState :: * -> *

Methods

from :: GameState -> Rep GameState x

to :: Rep GameState x -> GameState

Hashable GameState

Methods

hashWithSalt :: Int -> GameState -> Int

hash :: GameState -> Int

type Rep GameState

type Rep GameState = D1 (MetaData "GameState" "Tak.Types" "tak-0.1.0.0-37SVn37goY6AS0DYObYf2t" False) (C1 (MetaCons "GameState" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "stBoard") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Board)) ((:*:) (S1 (MetaSel (Just Symbol "stWhite") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Player)) (S1 (MetaSel (Just Symbol "stBlack") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Player)))) ((:*:) (S1 (MetaSel (Just Symbol "stFinished") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Finished))) ((:*:) (S1 (MetaSel (Just Symbol "stPlaysNext") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Colour)) (S1 (MetaSel (Just Symbol "stNextTurn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))))))

data Player

Constructors

Player

Fields

• capsRemaining :: Int
• stonesRemaing :: Int

Instances

Eq Player

Methods

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

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

Show Player

Methods

showsPrec :: Int -> Player -> ShowS

show :: Player -> String

showList :: [Player] -> ShowS

Generic Player

Associated Types

type Rep Player :: * -> *

Methods

from :: Player -> Rep Player x

to :: Rep Player x -> Player

Hashable Player

Methods

hashWithSalt :: Int -> Player -> Int

hash :: Player -> Int

type Rep Player

type Rep Player = D1 (MetaData "Player" "Tak.Types" "tak-0.1.0.0-37SVn37goY6AS0DYObYf2t" False) (C1 (MetaCons "Player" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "capsRemaining") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) (S1 (MetaSel (Just Symbol "stonesRemaing") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))))

stNextPlayer :: GameState -> Player

data Finished

Constructors

RoadWin Colour

FlatWin Colour Int Int

Draw Int Int

Instances

Eq Finished

Methods

(==) :: Finished -> Finished -> Bool

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

Show Finished

Methods

showsPrec :: Int -> Finished -> ShowS

show :: Finished -> String

showList :: [Finished] -> ShowS

Generic Finished

Associated Types

type Rep Finished :: * -> *

Methods

from :: Finished -> Rep Finished x

to :: Rep Finished x -> Finished

Hashable Finished

Methods

hashWithSalt :: Int -> Finished -> Int

hash :: Finished -> Int

type Rep Finished

type Rep Finished = D1 (MetaData "Finished" "Tak.Types" "tak-0.1.0.0-37SVn37goY6AS0DYObYf2t" False) ((:+:) (C1 (MetaCons "RoadWin" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Colour))) ((:+:) (C1 (MetaCons "FlatWin" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Colour)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))))) (C1 (MetaCons "Draw" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))))))

oppositeColour :: Colour -> Colour

squareIndices :: Matrix a -> [(Int, Int)]

initialState :: Int -> Colour -> GameState

gameTree :: GameState -> Eval a -> GameNode a

treeGameState :: GameNode a -> GameState

ptn :: Board -> Play -> String

parsePtn :: String -> Either ParseError Play