BishBosh.Property.Reflectable

AUTHOR

Dr. Alistair Ward

DESCRIPTION

An interface for data which can be transformed by reflection.

Type-classes

class ReflectableOnX a where

An interface which data which can be transformed by reflection about the x-axis, may implement.

Minimal complete definition

reflectOnX

Methods

reflectOnX

Arguments

:: a

-> a

Reflect about the x-axis, i.e. to top to bottom & vice-versa.

Instances

ReflectableOnX Direction

Methods

reflectOnX :: Direction -> Direction

ReflectableOnX turn => ReflectableOnX (TurnsByLogicalColour turn)

Methods

reflectOnX :: TurnsByLogicalColour turn -> TurnsByLogicalColour turn

(Ord position, ReflectableOnX position) => ReflectableOnX (InstancesByPosition position)

Methods

reflectOnX :: InstancesByPosition position -> InstancesByPosition position

ReflectableOnX (CastleableRooksByLogicalColour x)

Methods

reflectOnX :: CastleableRooksByLogicalColour x -> CastleableRooksByLogicalColour x

Enum y => ReflectableOnX (Coordinates x y)

Methods

reflectOnX :: Coordinates x y -> Coordinates x y

Enum y => ReflectableOnX (Move x y)

Methods

reflectOnX :: Move x y -> Move x y

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

Methods

reflectOnX :: MaybePieceByCoordinates x y -> MaybePieceByCoordinates x y

(Enum x, Enum y, Ord x, Ord y) => ReflectableOnX (Board x y)

Methods

reflectOnX :: Board x y -> Board x y

Enum y => ReflectableOnX (QualifiedMove x y)

Methods

reflectOnX :: QualifiedMove x y -> QualifiedMove x y

Enum y => ReflectableOnX (Turn x y)

Methods

reflectOnX :: Turn x y -> Turn x y

(Enum x, Enum y, Ord x, Ord y) => ReflectableOnX (Position x y)

Methods

reflectOnX :: Position x y -> Position x y

(Enum x, Enum y, Ord x, Ord y, Show x, Show y) => ReflectableOnX (Game x y)

• Create an alternative game in which Black moved first; https://chessprogramming.wikispaces.com/Color+Flipping
• N.B.: ReflectableOnY isn't implemented, since reflectOnY produces a mirror-image board in which the royal pieces start in a non-standard position & castling occurs the wrong way.

Methods

reflectOnX :: Game x y -> Game x y

class ReflectableOnY a where

An interface which data which can be transformed by reflection about the y-axis, may implement.

Minimal complete definition

reflectOnY

Methods

reflectOnY

Arguments

:: a

-> a

Reflect about the y-axis, i.e. left to right & vice-versa.

Instances

ReflectableOnY Direction

Methods

reflectOnY :: Direction -> Direction

Enum x => ReflectableOnY (Coordinates x y)

Methods

reflectOnY :: Coordinates x y -> Coordinates x y

Enum x => ReflectableOnY (Move x y)

Methods

reflectOnY :: Move x y -> Move x y

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

Methods

reflectOnY :: MaybePieceByCoordinates x y -> MaybePieceByCoordinates x y

(Enum x, Enum y, Ord x, Ord y) => ReflectableOnY (Board x y)

Methods

reflectOnY :: Board x y -> Board x y