BishBosh.Component.Piece

AUTHOR

Dr. Alistair Ward

DESCRIPTION

Defines the data-type which represents any chess-piece.

Types

Type-synonyms

type NPieces = Int

A number of pieces.

type ByPiece = Array Piece

A boxed array indexed by piece, of unspecified elements.

type LocatedPiece x y = (Coordinates x y, Piece)

Self-documentation.

Data-types

data Piece

A Chess-piece has a logical colour & a rank.

Instances

Bounded Piece

Methods

minBound :: Piece

maxBound :: Piece

Eq Piece

Methods

(==) :: Piece -> Piece -> Bool

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

Ord Piece

Methods

compare :: Piece -> Piece -> Ordering

(<) :: Piece -> Piece -> Bool

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

(>) :: Piece -> Piece -> Bool

(>=) :: Piece -> Piece -> Bool

max :: Piece -> Piece -> Piece

min :: Piece -> Piece -> Piece

Read Piece

Methods

readsPrec :: Int -> ReadS Piece

readList :: ReadS [Piece]

readPrec :: ReadPrec Piece

readListPrec :: ReadPrec [Piece]

Show Piece

Methods

showsPrec :: Int -> Piece -> ShowS

show :: Piece -> String

showList :: [Piece] -> ShowS

Ix Piece

Methods

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

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

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

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

rangeSize :: (Piece, Piece) -> Int

unsafeRangeSize :: (Piece, Piece) -> Int

NFData Piece

Methods

rnf :: Piece -> ()

XmlPickler Piece

Methods

xpickle :: PU Piece

ShowsFEN Piece

Methods

showsFEN :: Piece -> ShowS

ReadsFEN Piece

Methods

readsFEN :: ReadS Piece

Opposable Piece

Methods

getOpposite :: Piece -> Piece

Constants

nPiecesPerSide :: NPieces

The initial number of pieces per side in a standard opening position; some of which are duplicates.

range :: [Piece]

The constant ascending range of pieces.

attackDirectionsByPiece :: Map Piece [Direction]

• Find the constant directions of the straight lines along which each type of piece can attack.
• CAVEAT: not defined for a Knight.

Functions

findAttackDestinations

Arguments

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

=> Coordinates x y

The source from which the attack originates.

-> Piece

-> [Coordinates x y]

The destinations which can be attacked.

Calls attackVectorsByPiece to find the destinations which the specified piece can attack from the specified position.

Mutators

promote :: Rank -> Piece -> Piece

• Changes the rank of the specified piece, leaving the logical colour unchanged.
• CAVEAT: only legal if the rank was a Pawn, & becomes neither a Pawn nor a King.

Constructors

mkBishop :: LogicalColour -> Piece

Constructor.

mkKing :: LogicalColour -> Piece

Constructor.

mkKnight :: LogicalColour -> Piece

Constructor.

mkPawn :: LogicalColour -> Piece

Constructor.

mkPiece :: LogicalColour -> Rank -> Piece

Constructor.

mkQueen :: LogicalColour -> Piece

Constructor.

mkRook :: LogicalColour -> Piece

Constructor.

listArrayByPiece :: IArray a e => [e] -> a Piece e

Array-constructor.

Predicates

canAttackAlong

Arguments

:: (Enum x, Enum y)

=> Coordinates x y

Source (attacker's location).

-> Coordinates x y

Destination (victim's location).

-> Piece

Attacker.

-> Bool

• Whether a piece at the specified coordinates could attack the target at the specified coordinates.
• N.B.: doesn't require that the specified piece actually exists at the target-location, nor that the victim's logical colour is opposite from the attacker's.
• N.B.: can't detect any blocking pieces which might invalidate the attack.
• CAVEAT: it won't confirm the ability of a Pawn to advance, since that doesn't constitute an attack.

canMoveBetween

Arguments

:: (Enum x, Enum y, Eq y)

=> Coordinates x y

Source.

-> Coordinates x y

Destination.

-> Piece

-> Bool

• Whether the specified piece can move between the specified coordinates.
• N.B.: can't detect any blocking pieces.

isBlack :: Piece -> Bool

Whether the specified piece is Black.

isFriend :: Piece -> Piece -> Bool

Whether the specified pieces have the same logical colour.

isPawn :: Piece -> Bool

Whether the specified piece is a Pawn.

isKnight :: Piece -> Bool

Whether the specified piece is a Knight.

isKing :: Piece -> Bool

Whether the specified piece is a King.

isPawnPromotion

Arguments

:: (Enum y, Eq y)

=> Coordinates x y

Destination.

-> Piece

-> Bool

Whether a move qualifies for Pawn-promotion.