Game.Chess

A small collection of data types and functions to represent Chess positions and moves including move generation and parsing from external sources.

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.

Chess positions

data Color

Constructors

Black

White

Instances

Eq Color

Defined in Game.Chess

Methods

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

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

Ord Color

Defined in Game.Chess

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

Methods

showsPrec :: Int -> Color -> ShowS

show :: Color -> String

showList :: [Color] -> ShowS

Ix Color

Defined in Game.Chess

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

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

Methods

minBound :: Sq

maxBound :: Sq

Enum Sq

Defined in Game.Chess

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

Methods

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

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

Ord Sq

Defined in Game.Chess

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

Show Sq

Defined in Game.Chess

Methods

showsPrec :: Int -> Sq -> ShowS

show :: Sq -> String

showList :: [Sq] -> ShowS

Ix Sq

Defined in Game.Chess

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

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

Methods

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

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

Ord PieceType

Defined in Game.Chess

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

Methods

showsPrec :: Int -> PieceType -> ShowS

show :: PieceType -> String

showList :: [PieceType] -> ShowS

Ix PieceType

Defined in Game.Chess

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

Methods

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

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

Ord Castle

Defined in Game.Chess

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

Methods

showsPrec :: Int -> Castle -> ShowS

show :: Castle -> String

showList :: [Castle] -> ShowS

Ix Castle

Defined in Game.Chess

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

Methods

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

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

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

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

Methods

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

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

Show Ply

Defined in Game.Chess

Methods

showsPrec :: Int -> Ply -> ShowS

show :: Ply -> String

showList :: [Ply] -> ShowS

Converting from/to algebraic notation

strictSAN :: forall s. (Stream s, SANToken (Token s), IsString (Tokens s)) => Position -> Parser s Ply

relaxedSAN :: (Stream s, SANToken (Token s), IsString (Tokens s)) => Position -> Parser s Ply

fromSAN :: (Stream s, SANToken (Token s), IsString (Tokens s)) => Position -> s -> Either String Ply

toSAN :: Position -> Ply -> String

unsafeToSAN :: Position -> Ply -> String

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

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.