BishBosh.ContextualNotation.StandardAlgebraic

AUTHOR

Dr. Alistair Ward

DESCRIPTION

https://en.wikipedia.org/wiki/Algebraic_notation_(chess)

Types

Type-synonyms

type ValidateMoves = Bool

Whether each move should be validated.

type ExplicitEnPassant = Bool

Whether en-passant moves are tagged, or implicit.

Data-types

data StandardAlgebraic x y

Defines a move, to enable io in StandardAlgebraic/-notation.

Instances

(Eq x, Eq y) => Eq (StandardAlgebraic x y)

Methods

(==) :: StandardAlgebraic x y -> StandardAlgebraic x y -> Bool

(/=) :: StandardAlgebraic x y -> StandardAlgebraic x y -> Bool

(Show y, Show x) => Show (StandardAlgebraic x y)

Methods

showsPrec :: Int -> StandardAlgebraic x y -> ShowS

show :: StandardAlgebraic x y -> String

showList :: [StandardAlgebraic x y] -> ShowS

Constants

Functions

showsCoordinates :: (Enum x, Enum y) => Coordinates x y -> ShowS

Shows the specified coordinates.

showsTurn

Arguments

:: (Enum x, Enum y, Ord x, Ord y, Show x, Show y)

=> ExplicitEnPassant

-> Turn x y

-> Game x y

The game prior to application of the specified turn.

-> ShowS

Represent the specified turn in SAN.

showTurn

Arguments

:: (Enum x, Enum y, Ord x, Ord y, Show x, Show y)

=> ExplicitEnPassant

-> Turn x y

-> Game x y

The game prior to application of the specified turn.

-> String

Calls showsTurn.

showsMove :: (Enum x, Enum y, Ord x, Ord y, Show x, Show y) => ExplicitEnPassant -> QualifiedMove x y -> Game x y -> ShowS

A convenience-function, which generates the turn required to call showsTurn.

showMove :: (Enum x, Enum y, Ord x, Ord y, Show x, Show y) => ExplicitEnPassant -> QualifiedMove x y -> Game x y -> String

Calls showsMove.

movePiece :: (Enum x, Enum y, Ord x, Ord y, Show x, Show y) => StandardAlgebraic x y -> Transformation x y

Applies the specified move to the specified game.

parser :: (Enum x, Enum y, Ord x, Ord y, Show x, Show y) => ExplicitEnPassant -> ValidateMoves -> Game x y -> TextParser (StandardAlgebraic x y)

Parses a move from SAN, & optionally validates it against the specified game.

fromRank :: Rank -> Char

Represent a rank in SAN.

toRank :: Char -> Rank

Translate from SAN to a rank.

Constructors

fromQualifiedMove :: QualifiedMove x y -> StandardAlgebraic x y

Constructor.

Predicates