BishBosh.Attribute.MoveType

AUTHOR

Dr. Alistair Ward

DESCRIPTION

Categorises moves, & provides ancillary information as required.

Types

Type-synonyms

Data-types

data MoveType

Classifies the distinct types of move.

Constructors

Castle IsShort

Castling between the King & one of its Rooks.

EnPassant

Capture by a Pawn of a Pawn as it advanced two squares.

Normal (Maybe Rank) (Maybe Rank)

Instances

Eq MoveType

Methods

(==) :: MoveType -> MoveType -> Bool

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

Read MoveType

Methods

readsPrec :: Int -> ReadS MoveType

readList :: ReadS [MoveType]

readPrec :: ReadPrec MoveType

readListPrec :: ReadPrec [MoveType]

Show MoveType

Methods

showsPrec :: Int -> MoveType -> ShowS

show :: MoveType -> String

showList :: [MoveType] -> ShowS

NFData MoveType

Methods

rnf :: MoveType -> ()

Default MoveType

Methods

def :: MoveType

Promotable MoveType

Methods

getMaybePromotionRank :: MoveType -> Maybe Rank

Constants

tag :: String

Used to qualify output.

shortCastle :: MoveType

Constant value required to denote a short castle.

longCastle :: MoveType

Constant value required to denote a long castle.

enPassant :: MoveType

Constant.

Functions

nPiecesMutator :: Enum nPieces => MoveType -> nPieces -> nPieces

Returns the mutator required to adjust the number of pieces after a move.

Constructors

mkMaybeNormalMoveType

Arguments

:: Maybe Rank

The rank of any opposing piece which was just taken.

-> Maybe Rank

The rank to which a Pawn was just promoted.

-> Maybe MoveType

Maybe the required move-type.

Smart-constructor for normal move-types.

mkNormalMoveType

Arguments

:: Maybe Rank

The rank of any opposing piece which is to be taken.

-> Maybe Rank

The rank to which a Pawn is to be promoted.

-> MoveType

Smart-constructor for normal move-types.

Predicates

isCastle :: MoveType -> Bool

Predicate.

isEnPassant :: MoveType -> Bool

Predicate.

isCapture :: MoveType -> Bool

Whether a piece was captured, including Pawns taken En-passant.

isPromotion :: MoveType -> Bool

Whether the move includes Pawn-promotion.

isQuiet :: MoveType -> Bool

https://chessprogramming.wikispaces.com/Quiet+Moves.

isAcyclic :: MoveType -> Bool

• Whether the move can't be a member of a repeated cycle.
• CAVEAT: one can't infer from a negative result that the move can be repeated, since the mover may have been a Pawn.

Query

getMaybeExplicitlyTakenRank :: MoveType -> Maybe Rank

Query whether a piece was explicitly taken, excluding Pawns taken En-passant.

getMaybeImplicitlyTakenRank :: MoveType -> Maybe Rank

Query whether a piece was taken either explicitly, or implicitly during En-passant.