LinesOfAction

Documentation

data Checker

Constructors

Checker'Black

Checker'White

Instances

Eq Checker

Methods

(==) :: Checker -> Checker -> Bool

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

Show Checker

Methods

showsPrec :: Int -> Checker -> ShowS

show :: Checker -> String

showList :: [Checker] -> ShowS

newtype Board

Constructors

Board (Map (Int, Int) Checker)

Instances

Eq Board

Methods

(==) :: Board -> Board -> Bool

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

Show Board

Methods

showsPrec :: Int -> Board -> ShowS

show :: Board -> String

showList :: [Board] -> ShowS

data Terminal

Constructors

Terminal'Winner Checker

Terminal'Draw

Instances

Eq Terminal

Methods

(==) :: Terminal -> Terminal -> Bool

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

Show Terminal

Methods

showsPrec :: Int -> Terminal -> ShowS

show :: Terminal -> String

showList :: [Terminal] -> ShowS

data Move

Constructors

Move

Fields

• moveFrom :: (Int, Int)
• moveTo :: (Int, Int)
• moveChecker :: Checker

Instances

Eq Move

Methods

(==) :: Move -> Move -> Bool

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

Show Move

Methods

showsPrec :: Int -> Move -> ShowS

show :: Move -> String

showList :: [Move] -> ShowS

class Monad m => Game m where

Minimal complete definition

getMove, invalidateMove, validatedMove, terminate

Methods

getMove :: Board -> Checker -> m Move

invalidateMove :: Board -> Checker -> Move -> m ()

validatedMove :: Board -> Board -> Checker -> Move -> m ()

terminate :: Board -> Terminal -> m ()

applyMove :: Board -> Move -> m (Maybe Board)

Instances

Game Console

Methods

getMove :: Board -> Checker -> Console Move

invalidateMove :: Board -> Checker -> Move -> Console ()

validatedMove :: Board -> Board -> Checker -> Move -> Console ()

terminate :: Board -> Terminal -> Console ()

applyMove :: Board -> Move -> Console (Maybe Board)

startGame :: Game m => m ()

play :: Game m => Board -> Checker -> m ()

applyMove' :: Board -> Move -> Maybe Board

placeCheckerOnBoard :: Board -> Move -> Board

movableCells :: Board -> (Int, Int) -> Maybe [(Int, Int)]

movableCellsWithChecker :: Board -> Checker -> (Int, Int) -> [(Int, Int)]

lookupCells :: Board -> [(Int, Int)] -> [((Int, Int), Maybe Checker)]

listIndicesVertUp :: Int -> (Int, Int) -> [(Int, Int)]

listIndicesVertDown :: Int -> (Int, Int) -> [(Int, Int)]

listIndicesHorzLeft :: Int -> (Int, Int) -> [(Int, Int)]

listIndicesHorzRight :: Int -> (Int, Int) -> [(Int, Int)]

listIndicesUpwardsLeft :: Int -> (Int, Int) -> [(Int, Int)]

listIndicesUpwardsRight :: Int -> (Int, Int) -> [(Int, Int)]

listIndicesDownwardsLeft :: Int -> (Int, Int) -> [(Int, Int)]

listIndicesDownwardsRight :: Int -> (Int, Int) -> [(Int, Int)]

listIndices :: (Int -> (Int, Int)) -> Int -> (Int, Int) -> [(Int, Int)]

filterOrdered :: Eq b => b -> [((Int, Int), Maybe b)] -> Maybe (Int, Int)

inBoard :: (Int, Int) -> Bool

countFilledIndices :: Board -> [(Int, Int)] -> Int

verticalCount :: Board -> (Int, Int) -> Int

horizontalCount :: Board -> (Int, Int) -> Int

downwardsCount :: Board -> (Int, Int) -> Int

upwardsCount :: Board -> (Int, Int) -> Int

opponent :: Checker -> Checker

terminal :: Board -> Maybe Terminal

emptyBoard :: Board

whiteWinner :: Board -> Bool

blackWinner :: Board -> Bool

allConnected :: Checker -> Board -> Bool

neighbors :: Set (Int, Int) -> (Int, Int) -> Set (Int, Int)

connected :: Set (Int, Int) -> Set (Int, Int) -> (Int, Int) -> Set (Int, Int)