Game.Halma.Board

Documentation

data HalmaGrid

Constructors

SmallGrid

LargeGrid

Instances

Eq HalmaGrid

Methods

(==) :: HalmaGrid -> HalmaGrid -> Bool

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

Ord HalmaGrid

Methods

compare :: HalmaGrid -> HalmaGrid -> Ordering

(<) :: HalmaGrid -> HalmaGrid -> Bool

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

(>) :: HalmaGrid -> HalmaGrid -> Bool

(>=) :: HalmaGrid -> HalmaGrid -> Bool

max :: HalmaGrid -> HalmaGrid -> HalmaGrid

min :: HalmaGrid -> HalmaGrid -> HalmaGrid

Show HalmaGrid

Methods

showsPrec :: Int -> HalmaGrid -> ShowS

show :: HalmaGrid -> String

showList :: [HalmaGrid] -> ShowS

ToJSON HalmaGrid

Methods

toJSON :: HalmaGrid -> Value

toEncoding :: HalmaGrid -> Encoding

toJSONList :: [HalmaGrid] -> Value

toEncodingList :: [HalmaGrid] -> Encoding

FromJSON HalmaGrid

Methods

parseJSON :: Value -> Parser HalmaGrid

parseJSONList :: Value -> Parser [HalmaGrid]

Grid HalmaGrid

Associated Types

type Index HalmaGrid :: *

type Direction HalmaGrid :: *

Methods

indices :: HalmaGrid -> [Index HalmaGrid]

distance :: HalmaGrid -> Index HalmaGrid -> Index HalmaGrid -> Int

minDistance :: HalmaGrid -> [Index HalmaGrid] -> Index HalmaGrid -> Int

neighbours :: HalmaGrid -> Index HalmaGrid -> [Index HalmaGrid]

neighboursOfSet :: HalmaGrid -> [Index HalmaGrid] -> [Index HalmaGrid]

neighbour :: HalmaGrid -> Index HalmaGrid -> Direction HalmaGrid -> Maybe (Index HalmaGrid)

numNeighbours :: HalmaGrid -> Index HalmaGrid -> Int

contains :: HalmaGrid -> Index HalmaGrid -> Bool

tileCount :: HalmaGrid -> Int

null :: HalmaGrid -> Bool

nonNull :: HalmaGrid -> Bool

edges :: HalmaGrid -> [(Index HalmaGrid, Index HalmaGrid)]

viewpoint :: HalmaGrid -> Index HalmaGrid -> [(Index HalmaGrid, Int)]

isAdjacent :: HalmaGrid -> Index HalmaGrid -> Index HalmaGrid -> Bool

adjacentTilesToward :: HalmaGrid -> Index HalmaGrid -> Index HalmaGrid -> [Index HalmaGrid]

minimalPaths :: HalmaGrid -> Index HalmaGrid -> Index HalmaGrid -> [[Index HalmaGrid]]

directionTo :: HalmaGrid -> Index HalmaGrid -> Index HalmaGrid -> [Direction HalmaGrid]

defaultMinDistance :: HalmaGrid -> [Index HalmaGrid] -> Index HalmaGrid -> Int

defaultNeighbours :: HalmaGrid -> Index HalmaGrid -> [Index HalmaGrid]

defaultNeighboursOfSet :: HalmaGrid -> [Index HalmaGrid] -> [Index HalmaGrid]

defaultNeighbour :: HalmaGrid -> Index HalmaGrid -> Direction HalmaGrid -> Maybe (Index HalmaGrid)

defaultTileCount :: HalmaGrid -> Int

defaultEdges :: HalmaGrid -> [(Index HalmaGrid, Index HalmaGrid)]

defaultIsAdjacent :: HalmaGrid -> Index HalmaGrid -> Index HalmaGrid -> Bool

defaultAdjacentTilesToward :: HalmaGrid -> Index HalmaGrid -> Index HalmaGrid -> [Index HalmaGrid]

defaultMinimalPaths :: HalmaGrid -> Index HalmaGrid -> Index HalmaGrid -> [[Index HalmaGrid]]

FiniteGrid HalmaGrid

Associated Types

type Size HalmaGrid :: *

Methods

size :: HalmaGrid -> Size HalmaGrid

maxPossibleDistance :: HalmaGrid -> Int

BoundedGrid HalmaGrid

Methods

tileSideCount :: HalmaGrid -> Int

boundary :: HalmaGrid -> [Index HalmaGrid]

isBoundary :: HalmaGrid -> Index HalmaGrid -> Bool

centre :: HalmaGrid -> [Index HalmaGrid]

isCentre :: HalmaGrid -> Index HalmaGrid -> Bool

defaultBoundary :: HalmaGrid -> [Index HalmaGrid]

defaultIsBoundary :: HalmaGrid -> Index HalmaGrid -> Bool

defaultCentre :: HalmaGrid -> [Index HalmaGrid]

defaultIsCentre :: HalmaGrid -> Index HalmaGrid -> Bool

type Direction HalmaGrid

type Direction HalmaGrid = HexDirection

type Index HalmaGrid

type Index HalmaGrid = (Int, Int)

type Size HalmaGrid

type Size HalmaGrid = HalmaGrid

sideLength :: HalmaGrid -> Int

Numbers of fields on each straight edge of a star-shaped halma board of the given size.

numberOfFields :: HalmaGrid -> Int

Total number of fields on a halma board of the given size.

data HalmaDirection

The six corners of a star-shaped halma board.

Constructors

North

Northeast

Southeast

South

Southwest

Northwest

Instances

Bounded HalmaDirection

Methods

minBound :: HalmaDirection

maxBound :: HalmaDirection

Enum HalmaDirection

Methods

succ :: HalmaDirection -> HalmaDirection

pred :: HalmaDirection -> HalmaDirection

toEnum :: Int -> HalmaDirection

fromEnum :: HalmaDirection -> Int

enumFrom :: HalmaDirection -> [HalmaDirection]

enumFromThen :: HalmaDirection -> HalmaDirection -> [HalmaDirection]

enumFromTo :: HalmaDirection -> HalmaDirection -> [HalmaDirection]

enumFromThenTo :: HalmaDirection -> HalmaDirection -> HalmaDirection -> [HalmaDirection]

Eq HalmaDirection

Methods

(==) :: HalmaDirection -> HalmaDirection -> Bool

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

Ord HalmaDirection

Methods

compare :: HalmaDirection -> HalmaDirection -> Ordering

(<) :: HalmaDirection -> HalmaDirection -> Bool

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

(>) :: HalmaDirection -> HalmaDirection -> Bool

(>=) :: HalmaDirection -> HalmaDirection -> Bool

max :: HalmaDirection -> HalmaDirection -> HalmaDirection

min :: HalmaDirection -> HalmaDirection -> HalmaDirection

Read HalmaDirection

Methods

readsPrec :: Int -> ReadS HalmaDirection

readList :: ReadS [HalmaDirection]

readPrec :: ReadPrec HalmaDirection

readListPrec :: ReadPrec [HalmaDirection]

Show HalmaDirection

Methods

showsPrec :: Int -> HalmaDirection -> ShowS

show :: HalmaDirection -> String

showList :: [HalmaDirection] -> ShowS

Generic HalmaDirection

Associated Types

type Rep HalmaDirection :: * -> *

Methods

from :: HalmaDirection -> Rep HalmaDirection x

to :: Rep HalmaDirection x -> HalmaDirection

ToJSON HalmaDirection

Methods

toJSON :: HalmaDirection -> Value

toEncoding :: HalmaDirection -> Encoding

toJSONList :: [HalmaDirection] -> Value

toEncodingList :: [HalmaDirection] -> Encoding

FromJSON HalmaDirection

Methods

parseJSON :: Value -> Parser HalmaDirection

parseJSONList :: Value -> Parser [HalmaDirection]

type Rep HalmaDirection

type Rep HalmaDirection = D1 (MetaData "HalmaDirection" "Game.Halma.Board" "halma-0.3.0.0-E77mvIbb0PoJib7Qr9ou7J" False) ((:+:) ((:+:) (C1 (MetaCons "North" PrefixI False) U1) ((:+:) (C1 (MetaCons "Northeast" PrefixI False) U1) (C1 (MetaCons "Southeast" PrefixI False) U1))) ((:+:) (C1 (MetaCons "South" PrefixI False) U1) ((:+:) (C1 (MetaCons "Southwest" PrefixI False) U1) (C1 (MetaCons "Northwest" PrefixI False) U1))))

oppositeDirection :: HalmaDirection -> HalmaDirection

leftOf :: HalmaDirection -> HalmaDirection

rowsInDirection :: HalmaDirection -> (Int, Int) -> Int

From the point of view of the given corner: On which row lies the given field? The row through the center is row zero, rows nearer to the corner have positive, rows nearer to the opposite corner negative numbers.

corner :: HalmaGrid -> HalmaDirection -> (Int, Int)

 The corner corresponding to a direction on a star-shaped board of the given size.

type Team = HalmaDirection

The corner where the team starts.

startCorner :: HalmaGrid -> Team -> (Int, Int)

The position of the corner field where a team starts.

endCorner :: HalmaGrid -> Team -> (Int, Int)

The position of the end zone corner of a team.

startFields :: HalmaGrid -> Team -> [(Int, Int)]

The start positions of a team's pieces.

endFields :: HalmaGrid -> Team -> [(Int, Int)]

The end zone of the given team.

data Piece

Halma gaming piece

Constructors

Piece

Fields

• pieceTeam :: Team

  player

• pieceNumber :: Word8

  number between 1 and 15

Instances

Eq Piece

Methods

(==) :: Piece -> Piece -> Bool

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

Ord Piece

Methods

compare :: Piece -> Piece -> Ordering

(<) :: Piece -> Piece -> Bool

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

(>) :: Piece -> Piece -> Bool

(>=) :: Piece -> Piece -> Bool

max :: Piece -> Piece -> Piece

min :: Piece -> Piece -> Piece

Show Piece

Methods

showsPrec :: Int -> Piece -> ShowS

show :: Piece -> String

showList :: [Piece] -> ShowS

ToJSON Piece

Methods

toJSON :: Piece -> Value

toEncoding :: Piece -> Encoding

toJSONList :: [Piece] -> Value

toEncodingList :: [Piece] -> Encoding

FromJSON Piece

Methods

parseJSON :: Value -> Parser Piece

parseJSONList :: Value -> Parser [Piece]

data HalmaBoard

Map from board positions to the team occupying that position.

Instances

Eq HalmaBoard

Methods

(==) :: HalmaBoard -> HalmaBoard -> Bool

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

Show HalmaBoard

Methods

showsPrec :: Int -> HalmaBoard -> ShowS

show :: HalmaBoard -> String

showList :: [HalmaBoard] -> ShowS

ToJSON HalmaBoard

Methods

toJSON :: HalmaBoard -> Value

toEncoding :: HalmaBoard -> Encoding

toJSONList :: [HalmaBoard] -> Value

toEncodingList :: [HalmaBoard] -> Encoding

FromJSON HalmaBoard

Methods

parseJSON :: Value -> Parser HalmaBoard

parseJSONList :: Value -> Parser [HalmaBoard]

getGrid :: HalmaBoard -> HalmaGrid

toMap :: HalmaBoard -> Map (Int, Int) Piece

fromMap :: HalmaGrid -> Map (Index HalmaGrid) Piece -> Maybe HalmaBoard

Construct halma boards. Satisfies fromMap (getGrid board) (toMap board) = Just board.

lookupHalmaBoard :: (Int, Int) -> HalmaBoard -> Maybe Piece

Lookup whether a position on the board is occupied, and

data Move

A move of piece on a (Halma) board.

Constructors

Move

Fields

• moveFrom :: (Int, Int)

  start position

• moveTo :: (Int, Int)

  end position, must be different from start position

Instances

Eq Move

Methods

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

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

Show Move

Methods

showsPrec :: Int -> Move -> ShowS

show :: Move -> String

showList :: [Move] -> ShowS

ToJSON Move

Methods

toJSON :: Move -> Value

toEncoding :: Move -> Encoding

toJSONList :: [Move] -> Value

toEncodingList :: [Move] -> Encoding

FromJSON Move

Methods

parseJSON :: Value -> Parser Move

parseJSONList :: Value -> Parser [Move]

movePiece :: Move -> HalmaBoard -> Either String HalmaBoard

Move a piece on the halma board. This function does not check whether the move is valid according to the Halma rules.

initialBoard :: HalmaGrid -> (Team -> Bool) -> HalmaBoard