BishBosh.State.CastleableRooksByLogicalColour

AUTHOR

Dr. Alistair Ward

DESCRIPTION

The abscissae of those Rooks, for the player of each logicalColour, which can still participate in castling.

Types

Type-synonyms

type TurnsByLogicalColour = TurnsByLogicalColour Turn

Narrow the type, so the turn can be queried.

Data-types

data CastleableRooksByLogicalColour

For the players of each logical colour, identifies the abscissae of those Rooks which can still participate in castling (when other constraints are removed).

Instances

Eq CastleableRooksByLogicalColour

Defined in BishBosh.State.CastleableRooksByLogicalColour

Methods

(==) :: CastleableRooksByLogicalColour -> CastleableRooksByLogicalColour -> Bool

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

Ord CastleableRooksByLogicalColour

Defined in BishBosh.State.CastleableRooksByLogicalColour

Methods

compare :: CastleableRooksByLogicalColour -> CastleableRooksByLogicalColour -> Ordering

(<) :: CastleableRooksByLogicalColour -> CastleableRooksByLogicalColour -> Bool

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

(>) :: CastleableRooksByLogicalColour -> CastleableRooksByLogicalColour -> Bool

(>=) :: CastleableRooksByLogicalColour -> CastleableRooksByLogicalColour -> Bool

max :: CastleableRooksByLogicalColour -> CastleableRooksByLogicalColour -> CastleableRooksByLogicalColour

min :: CastleableRooksByLogicalColour -> CastleableRooksByLogicalColour -> CastleableRooksByLogicalColour

Read CastleableRooksByLogicalColour

Defined in BishBosh.State.CastleableRooksByLogicalColour

Methods

readsPrec :: Int -> ReadS CastleableRooksByLogicalColour

readList :: ReadS [CastleableRooksByLogicalColour]

readPrec :: ReadPrec CastleableRooksByLogicalColour

readListPrec :: ReadPrec [CastleableRooksByLogicalColour]

Show CastleableRooksByLogicalColour

Defined in BishBosh.State.CastleableRooksByLogicalColour

Methods

showsPrec :: Int -> CastleableRooksByLogicalColour -> ShowS

show :: CastleableRooksByLogicalColour -> String

showList :: [CastleableRooksByLogicalColour] -> ShowS

Default CastleableRooksByLogicalColour

Defined in BishBosh.State.CastleableRooksByLogicalColour

Methods

def :: CastleableRooksByLogicalColour

NFData CastleableRooksByLogicalColour

Defined in BishBosh.State.CastleableRooksByLogicalColour

Methods

rnf :: CastleableRooksByLogicalColour -> ()

ShowsEPD CastleableRooksByLogicalColour

Defined in BishBosh.State.CastleableRooksByLogicalColour

Methods

showsEPD :: CastleableRooksByLogicalColour -> ShowS

ReadsEPD CastleableRooksByLogicalColour

Defined in BishBosh.State.CastleableRooksByLogicalColour

Methods

readsEPD :: ReadS CastleableRooksByLogicalColour

ShowsFEN CastleableRooksByLogicalColour

Defined in BishBosh.State.CastleableRooksByLogicalColour

Methods

showsFEN :: CastleableRooksByLogicalColour -> ShowS

ReadsFEN CastleableRooksByLogicalColour

Defined in BishBosh.State.CastleableRooksByLogicalColour

Methods

readsFEN :: ReadS CastleableRooksByLogicalColour

ReflectableOnX CastleableRooksByLogicalColour

Defined in BishBosh.State.CastleableRooksByLogicalColour

Methods

reflectOnX :: CastleableRooksByLogicalColour -> CastleableRooksByLogicalColour

Hashable CastleableRooksByLogicalColour

Get the list of random numbers required to represent the current castling potential.

Defined in BishBosh.State.CastleableRooksByLogicalColour

Methods

listRandoms :: Zobrist positionHash -> CastleableRooksByLogicalColour -> [positionHash]

Functions

locateForLogicalColour :: CastleableRooksByLogicalColour -> LogicalColour -> Maybe [X]

Find the abscissae of all Rooks of the specified logical colour, which can still participate in castling.

Constructors

fromAssocs :: AbscissaeByLogicalColour -> CastleableRooksByLogicalColour

Smart constructor.

fromBoard :: Board -> CastleableRooksByLogicalColour

• Smart constructor.
• CAVEAT: doesn't know the move-history, so the wrong answer is possible.

fromTurnsByLogicalColour :: TurnsByLogicalColour -> CastleableRooksByLogicalColour

Constructor.

listIncrementalRandoms

Arguments

:: Zobrist random

-> CastleableRooksByLogicalColour

The old value.

-> CastleableRooksByLogicalColour

The new value.

-> [random]

Generate the additional random-numbers required to correct the hash resulting from a change to the castleable Rooks.

Mutators

unify :: Transformation

Relinquish the ability to disambiguate between "have Castled" (& therefore can't subsequently), & "Have lost the option to castle".

takeTurn

Arguments

:: LogicalColour

Defines the side who took the specified turn.

-> Turn

-> Transformation

Update with the latest turn.

Predicates

hasCastled :: CastleableRooksByLogicalColour -> LogicalColour -> Bool

Predicate.

canCastle :: CastleableRooksByLogicalColour -> LogicalColour -> Bool

Predicate.

canCastleWith

Arguments

:: CastleableRooksByLogicalColour

-> LogicalColour

-> Coordinates

Rook's coordinates.

-> Bool

Predicate.

cantConverge :: CastleableRooksByLogicalColour -> CastleableRooksByLogicalColour -> Bool

• Determines whether two positions can't converge on each other.
• N.B.: in this function, the two positions are considered to be peers; nothing is assumed regarding which must do the convergence, perhaps both.
• From the initial board, one may converge onto any other position, but any of a set of irreversible changes may compromise this; the total number of pieces & specifically Pawns, of each logical colour, can't increase; Pawns can only advance; the difference in the ranks of all pieces of each logical colour, which can only be reduced through promotion of a Pawn; castling can't be undone. This function only assesses this final change.
• CAVEAT: since the potential of one position to converge on another, depends on a wider set of criteria, this function can only be definitive regarding when convergence is impossible, rather than when is possible.
• CAVEAT: this function depends on one side having lost the right to castle, when the other side already has; this is quite rare.