Safe Haskell	Safe-Inferred
Language	Haskell2010

BishBosh.Property.Reflectable

Contents

Type-classes

Description

AUTHOR: Dr. Alistair Ward
DESCRIPTION: An interface for data which can be transformed by reflection.

Synopsis

class ReflectableOnX a where
- reflectOnX :: a -> a
class ReflectableOnY a where
- reflectOnY :: a -> a

Type-classes

class ReflectableOnX a where Source #

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

Methods

reflectOnX Source #

Arguments

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

Instances

Instances details

ReflectableOnX Direction Source #
Instance details Defined in BishBosh.Attribute.Direction Methods reflectOnX :: Direction -> Direction Source #
ReflectableOnX Coordinates Source #
Instance details Defined in BishBosh.Cartesian.Coordinates Methods reflectOnX :: Coordinates -> Coordinates Source #
ReflectableOnX Move Source #
Instance details Defined in BishBosh.Component.Move Methods reflectOnX :: Move -> Move Source #
ReflectableOnX QualifiedMove Source #
Instance details Defined in BishBosh.Component.QualifiedMove Methods reflectOnX :: QualifiedMove -> QualifiedMove Source #
ReflectableOnX Turn Source #
Instance details Defined in BishBosh.Component.Turn Methods reflectOnX :: Turn -> Turn Source #
ReflectableOnX MaybePieceByCoordinates Source #
Instance details Defined in BishBosh.State.MaybePieceByCoordinates Methods reflectOnX :: MaybePieceByCoordinates -> MaybePieceByCoordinates Source #
ReflectableOnX Board Source #
Instance details Defined in BishBosh.State.Board Methods reflectOnX :: Board -> Board Source #
ReflectableOnX CastleableRooksByLogicalColour Source #
Instance details Defined in BishBosh.State.CastleableRooksByLogicalColour Methods reflectOnX :: CastleableRooksByLogicalColour -> CastleableRooksByLogicalColour Source #
ReflectableOnX Position Source #
Instance details Defined in BishBosh.State.Position Methods reflectOnX :: Position -> Position Source #
ReflectableOnX Game Source #	Create an alternative game in which `Black` moved first; https://www.chessprogramming.org/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.
Instance details Defined in BishBosh.Model.Game Methods reflectOnX :: Game -> Game Source #
ReflectableOnX a => ReflectableOnX [a] Source #
Instance details Defined in BishBosh.Property.Reflectable Methods reflectOnX :: [a] -> [a] Source #
(Ord position, ReflectableOnX position) => ReflectableOnX (InstancesByPosition position) Source #
Instance details Defined in BishBosh.State.InstancesByPosition Methods reflectOnX :: InstancesByPosition position -> InstancesByPosition position Source #
ReflectableOnX turn => ReflectableOnX (TurnsByLogicalColour turn) Source #
Instance details Defined in BishBosh.State.TurnsByLogicalColour Methods reflectOnX :: TurnsByLogicalColour turn -> TurnsByLogicalColour turn Source #

class ReflectableOnY a where Source #

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

Methods

reflectOnY Source #

Arguments

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

Instances

Instances details

ReflectableOnY Direction Source #
Instance details Defined in BishBosh.Attribute.Direction Methods reflectOnY :: Direction -> Direction Source #
ReflectableOnY Coordinates Source #
Instance details Defined in BishBosh.Cartesian.Coordinates Methods reflectOnY :: Coordinates -> Coordinates Source #
ReflectableOnY Move Source #
Instance details Defined in BishBosh.Component.Move Methods reflectOnY :: Move -> Move Source #
ReflectableOnY MaybePieceByCoordinates Source #
Instance details Defined in BishBosh.State.MaybePieceByCoordinates Methods reflectOnY :: MaybePieceByCoordinates -> MaybePieceByCoordinates Source #
ReflectableOnY Board Source #
Instance details Defined in BishBosh.State.Board Methods reflectOnY :: Board -> Board Source #