BishBosh.Attribute.MoveType

AUTHOR

Dr. Alistair Ward

DESCRIPTION

Categorises moves, & provides ancillary information as required.

Types

Type-synonyms

Data-types

data MoveType

The sum-type of 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.

Instances

Eq MoveType

Defined in BishBosh.Attribute.MoveType

Methods

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

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

Read MoveType

Defined in BishBosh.Attribute.MoveType

Methods

readsPrec :: Int -> ReadS MoveType

readList :: ReadS [MoveType]

readPrec :: ReadPrec MoveType

readListPrec :: ReadPrec [MoveType]

Show MoveType

Defined in BishBosh.Attribute.MoveType

Methods

showsPrec :: Int -> MoveType -> ShowS

show :: MoveType -> String

showList :: [MoveType] -> ShowS

Default MoveType

Defined in BishBosh.Attribute.MoveType

Methods

def :: MoveType

NFData MoveType

Defined in BishBosh.Attribute.MoveType

Methods

rnf :: MoveType -> ()

FixedMembership MoveType

Defined in BishBosh.Attribute.MoveType

Methods

members :: [MoveType]

Promotable MoveType

Defined in BishBosh.Attribute.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.

apply

Arguments

:: (IsShort -> a, a, (Maybe Rank, Maybe Rank) -> a)

The handlers for each move-type; Castle, En-passant & Normal.

-> MoveType

-> a

Permit the caller to react in an arbitrary way, according to a specific move-type.

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://www.chessprogramming.org/Quiet_Moves.

isSimple :: MoveType -> Bool

The simplest type of move.

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.

getMaybePromotedRank :: MoveType -> Maybe Rank

Query the rank to which a piece was promoted.