BishBosh.State.Censor

AUTHOR

Dr. Alistair Ward

DESCRIPTION

Maintains a census of the pieces on the board, without regard to their location.

Types

Type-synonyms

type NPiecesByRank = ByRank NPieces

The difference in the number of pieces of each rank held by either side.

Type-classes

class Censor censor where

An interface which may be implemented by data which can perform a census of the pieces on the board.

Minimal complete definition

countPiecesByLogicalColour, countPieceDifferenceByRank, hasInsufficientMaterial, hasBothKings

Methods

countPiecesByLogicalColour

Arguments

:: censor

-> (NPieces, NPieces)

The total number of pieces, partitioned into Black & White.

countPieces

Arguments

:: censor

-> NPieces

The total number of pieces on the board.

countPieceDifferenceByRank

Arguments

:: censor

-> NPiecesByRank

Finds the difference between the number of pieces of each rank held by each side. N.B. for this purpose, White is arbitrarily considered positive & Black negative.

hasInsufficientMaterial

Arguments

:: censor

-> Bool

Whether insufficient material remains on the board, to force check-mate; https://en.wikipedia.org/wiki/Draw_(chess).

hasBothKings

Arguments

:: censor

-> Bool

Whether there's exactly one King of each logical colour.

Instances

(Enum x, Enum y, Ord x, Ord y) => Censor (MaybePieceByCoordinates x y)

Methods

countPiecesByLogicalColour :: MaybePieceByCoordinates x y -> (NPieces, NPieces)

countPieces :: MaybePieceByCoordinates x y -> NPieces

countPieceDifferenceByRank :: MaybePieceByCoordinates x y -> NPiecesByRank

hasInsufficientMaterial :: MaybePieceByCoordinates x y -> Bool

hasBothKings :: MaybePieceByCoordinates x y -> Bool

(Enum x, Enum y) => Censor (CoordinatesByRankByLogicalColour x y)

Methods

countPiecesByLogicalColour :: CoordinatesByRankByLogicalColour x y -> (NPieces, NPieces)

countPieces :: CoordinatesByRankByLogicalColour x y -> NPieces

countPieceDifferenceByRank :: CoordinatesByRankByLogicalColour x y -> NPiecesByRank

hasInsufficientMaterial :: CoordinatesByRankByLogicalColour x y -> Bool

hasBothKings :: CoordinatesByRankByLogicalColour x y -> Bool