Game.Chess

Types for representing positions and plies and functions for move generation and application. Internally, quad bitboards are employed and plies are stored as 16 bit values. The move generation is fully compliant to the standard rules of Chess.

This module does deliberately not implement any search or evaluation functionality. It is intended to be used to lay the ground for communicating with other programs or players, hence the package name chessIO.

The following modules implement more specific functionality:

• Game.Chess.Polyglot: Polyglot opening book format
• Game.Chess.SAN: Parse and print Standard Algebraic Notation.
• Game.Chess.PGN: Parse and format Portable Game Notation files.
• Game.Chess.Tree: Functions for converting a position to a tree.
• Game.Chess.UCI: Control external engines using the Universal Chess Interface.

Chess positions

data Color

Constructors

Black

White

Instances

Eq Color

Defined in Game.Chess.Internal

Methods

(==) :: Color -> Color -> Bool

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

Ord Color

Defined in Game.Chess.Internal

Methods

compare :: Color -> Color -> Ordering

(<) :: Color -> Color -> Bool

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

(>) :: Color -> Color -> Bool

(>=) :: Color -> Color -> Bool

max :: Color -> Color -> Color

min :: Color -> Color -> Color

Show Color

Defined in Game.Chess.Internal

Methods

showsPrec :: Int -> Color -> ShowS

show :: Color -> String

showList :: [Color] -> ShowS

Ix Color

Defined in Game.Chess.Internal

Methods

range :: (Color, Color) -> [Color]

index :: (Color, Color) -> Color -> Int

unsafeIndex :: (Color, Color) -> Color -> Int

inRange :: (Color, Color) -> Color -> Bool

rangeSize :: (Color, Color) -> Int

unsafeRangeSize :: (Color, Color) -> Int

opponent :: Color -> Color

class IsSquare sq where

Minimal complete definition

toIndex

Methods

toIndex :: sq -> Int

toRF :: sq -> (Int, Int)

Instances

IsSquare Int

Defined in Game.Chess.Internal.Square

Methods

toIndex :: Int -> Int

toRF :: Int -> (Int, Int)

IsSquare Sq

Defined in Game.Chess.Internal.Square

Methods

toIndex :: Sq -> Int

toRF :: Sq -> (Int, Int)

IsSquare (Int, Int)

Defined in Game.Chess.Internal.Square

Methods

toIndex :: (Int, Int) -> Int

toRF :: (Int, Int) -> (Int, Int)

data Sq

Constructors

A1

B1

C1

D1

E1

F1

G1

H1

A2

B2

C2

D2

E2

F2

G2

H2

A3

B3

C3

D3

E3

F3

G3

H3

A4

B4

C4

D4

E4

F4

G4

H4

A5

B5

C5

D5

E5

F5

G5

H5

A6

B6

C6

D6

E6

F6

G6

H6

A7

B7

C7

D7

E7

F7

G7

H7

A8

B8

C8

D8

E8

F8

G8

H8

Instances

Bounded Sq

Defined in Game.Chess.Internal.Square

Methods

minBound :: Sq

maxBound :: Sq

Enum Sq

Defined in Game.Chess.Internal.Square

Methods

succ :: Sq -> Sq

pred :: Sq -> Sq

toEnum :: Int -> Sq

fromEnum :: Sq -> Int

enumFrom :: Sq -> [Sq]

enumFromThen :: Sq -> Sq -> [Sq]

enumFromTo :: Sq -> Sq -> [Sq]

enumFromThenTo :: Sq -> Sq -> Sq -> [Sq]

Eq Sq

Defined in Game.Chess.Internal.Square

Methods

(==) :: Sq -> Sq -> Bool

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

Ord Sq

Defined in Game.Chess.Internal.Square

Methods

compare :: Sq -> Sq -> Ordering

(<) :: Sq -> Sq -> Bool

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

(>) :: Sq -> Sq -> Bool

(>=) :: Sq -> Sq -> Bool

max :: Sq -> Sq -> Sq

min :: Sq -> Sq -> Sq

Read Sq

Defined in Game.Chess.Internal.Square

Methods

readsPrec :: Int -> ReadS Sq

readList :: ReadS [Sq]

readPrec :: ReadPrec Sq

readListPrec :: ReadPrec [Sq]

Show Sq

Defined in Game.Chess.Internal.Square

Methods

showsPrec :: Int -> Sq -> ShowS

show :: Sq -> String

showList :: [Sq] -> ShowS

Ix Sq

Defined in Game.Chess.Internal.Square

Methods

range :: (Sq, Sq) -> [Sq]

index :: (Sq, Sq) -> Sq -> Int

unsafeIndex :: (Sq, Sq) -> Sq -> Int

inRange :: (Sq, Sq) -> Sq -> Bool

rangeSize :: (Sq, Sq) -> Int

unsafeRangeSize :: (Sq, Sq) -> Int

IsSquare Sq

Defined in Game.Chess.Internal.Square

Methods

toIndex :: Sq -> Int

toRF :: Sq -> (Int, Int)

isLight :: IsSquare sq => sq -> Bool

isDark :: IsSquare sq => sq -> Bool

data PieceType

Constructors

Pawn

Knight

Bishop

Rook

Queen

King

Instances

Eq PieceType

Defined in Game.Chess.Internal

Methods

(==) :: PieceType -> PieceType -> Bool

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

Ord PieceType

Defined in Game.Chess.Internal

Methods

compare :: PieceType -> PieceType -> Ordering

(<) :: PieceType -> PieceType -> Bool

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

(>) :: PieceType -> PieceType -> Bool

(>=) :: PieceType -> PieceType -> Bool

max :: PieceType -> PieceType -> PieceType

min :: PieceType -> PieceType -> PieceType

Show PieceType

Defined in Game.Chess.Internal

Methods

showsPrec :: Int -> PieceType -> ShowS

show :: PieceType -> String

showList :: [PieceType] -> ShowS

Ix PieceType

Defined in Game.Chess.Internal

Methods

range :: (PieceType, PieceType) -> [PieceType]

index :: (PieceType, PieceType) -> PieceType -> Int

unsafeIndex :: (PieceType, PieceType) -> PieceType -> Int

inRange :: (PieceType, PieceType) -> PieceType -> Bool

rangeSize :: (PieceType, PieceType) -> Int

unsafeRangeSize :: (PieceType, PieceType) -> Int

data Castle

Constructors

Kingside

Queenside

Instances

Eq Castle

Defined in Game.Chess.Internal

Methods

(==) :: Castle -> Castle -> Bool

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

Ord Castle

Defined in Game.Chess.Internal

Methods

compare :: Castle -> Castle -> Ordering

(<) :: Castle -> Castle -> Bool

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

(>) :: Castle -> Castle -> Bool

(>=) :: Castle -> Castle -> Bool

max :: Castle -> Castle -> Castle

min :: Castle -> Castle -> Castle

Show Castle

Defined in Game.Chess.Internal

Methods

showsPrec :: Int -> Castle -> ShowS

show :: Castle -> String

showList :: [Castle] -> ShowS

Ix Castle

Defined in Game.Chess.Internal

Methods

range :: (Castle, Castle) -> [Castle]

index :: (Castle, Castle) -> Castle -> Int

unsafeIndex :: (Castle, Castle) -> Castle -> Int

inRange :: (Castle, Castle) -> Castle -> Bool

rangeSize :: (Castle, Castle) -> Int

unsafeRangeSize :: (Castle, Castle) -> Int

data Position

Instances

Eq Position

Defined in Game.Chess.Internal

Methods

(==) :: Position -> Position -> Bool

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

Show Position

Defined in Game.Chess.Internal

Methods

showsPrec :: Int -> Position -> ShowS

show :: Position -> String

showList :: [Position] -> ShowS

startpos :: Position

The starting position as given by the FEN string "rnbqkbnrpppppppp8888PPPPPPPP/RNBQKBNR w KQkq - 0 1".

color :: Position -> Color

active color

moveNumber :: Position -> Int

number of the full move

halfMoveClock :: Position -> Int

pieceAt :: IsSquare sq => Position -> sq -> Maybe (Color, PieceType)

inCheck :: Color -> Position -> Bool

Returns True if Color is in check in the given position.

castlingRights :: Position -> [(Color, Castle)]

canCastleKingside :: Position -> Bool

canCastleQueenside :: Position -> Bool

insufficientMaterial :: Position -> Bool

repetitions :: [Position] -> Maybe (Int, Position)

Converting from/to Forsyth-Edwards-Notation

fromFEN :: String -> Maybe Position

Construct a position from Forsyth-Edwards-Notation.

toFEN :: Position -> String

Convert a position to Forsyth-Edwards-Notation.

Chess moves

newtype Ply

Constructors

Ply Word16

Instances

Eq Ply

Defined in Game.Chess.Internal

Methods

(==) :: Ply -> Ply -> Bool

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

Show Ply

Defined in Game.Chess.Internal

Methods

showsPrec :: Int -> Ply -> ShowS

show :: Ply -> String

showList :: [Ply] -> ShowS

Storable Ply

Defined in Game.Chess.Internal

Methods

sizeOf :: Ply -> Int

alignment :: Ply -> Int

peekElemOff :: Ptr Ply -> Int -> IO Ply

pokeElemOff :: Ptr Ply -> Int -> Ply -> IO ()

peekByteOff :: Ptr b -> Int -> IO Ply

pokeByteOff :: Ptr b -> Int -> Ply -> IO ()

peek :: Ptr Ply -> IO Ply

poke :: Ptr Ply -> Ply -> IO ()

plySource :: Ply -> Int

plyTarget :: Ply -> Int

plyPromotion :: Ply -> Maybe PieceType

Convertion

fromUCI :: Position -> String -> Maybe Ply

Parse a move in the format used by the Universal Chess Interface protocol.

toUCI :: Ply -> String

Convert a move to the format used by the Universal Chess Interface protocol.

fromPolyglot :: Position -> Ply -> Ply

toPolyglot :: Position -> Ply -> Ply

Move generation

legalPlies :: Position -> [Ply]

Generate a list of possible moves for the given position.

Executing moves

doPly :: Position -> Ply -> Position

Apply a move to the given position.

This function checks if the move is actually legal and throws and error if it isn't. See unsafeDoPly for a version that omits the legality check.

unsafeDoPly :: Position -> Ply -> Position

An unsafe version of doPly. Only use this if you are sure the given move can be applied to the position. This is useful if the move has been generated by the moves function.