BishBosh.Component.Move

AUTHOR

Dr. Alistair Ward

DESCRIPTION

Defines one move (actually just a half move AKA "ply") of a piece.

Types

Type-synonyms

type NMoves = Int

• A number of moves.
• CAVEAT: this may be a number of plies or full moves (i.e. a ply by White & a ply by Black)

type NPlies = NMoves

A number of half-moves into a game.

data Move x y

• A move of a piece.
• Most modern chess-notations (except Standard Algebraic) start with similar information, but also define ancillary information which is captured in MoveType.

Instances

(Eq x, Eq y) => Eq (Move x y)

Methods

(==) :: Move x y -> Move x y -> Bool

(/=) :: Move x y -> Move x y -> Bool

(Ord x, Ord y) => Ord (Move x y)

Methods

compare :: Move x y -> Move x y -> Ordering

(<) :: Move x y -> Move x y -> Bool

(<=) :: Move x y -> Move x y -> Bool

(>) :: Move x y -> Move x y -> Bool

(>=) :: Move x y -> Move x y -> Bool

max :: Move x y -> Move x y -> Move x y

min :: Move x y -> Move x y -> Move x y

(Enum x, Enum y, Ord x, Ord y, Read x, Read y) => Read (Move x y)

Methods

readsPrec :: Int -> ReadS (Move x y)

readList :: ReadS [Move x y]

readPrec :: ReadPrec (Move x y)

readListPrec :: ReadPrec [Move x y]

(Show x, Show y) => Show (Move x y)

Methods

showsPrec :: Int -> Move x y -> ShowS

show :: Move x y -> String

showList :: [Move x y] -> ShowS

(NFData x, NFData y) => NFData (Move x y)

Methods

rnf :: Move x y -> ()

Opposable (Move x y)

Methods

getOpposite :: Move x y -> Move x y

(Enum x, Enum y) => Orientated (Move x y)

Methods

isDiagonal :: Move x y -> Bool

isParallel :: Move x y -> Bool

isStraight :: Move x y -> Bool

Enum x => ReflectableOnY (Move x y)

Methods

reflectOnY :: Move x y -> Move x y

Enum y => ReflectableOnX (Move x y)

Methods

reflectOnX :: Move x y -> Move x y

Constants

tag :: String

Used to qualify XML.

nPliesPerMove :: NMoves

The constant number of plies per move.

castlingMovesByLogicalColour :: (Enum x, Enum y, Eq y, Ord x) => ByLogicalColour [(MoveType, Move x y, Move x y)]

Defines by logical colour, the list of (move-type, King's move, & Rook's move) for each type of Castle.

Functions

measureDistance :: (Enum x, Enum y, Num distance, Ord distance) => Move x y -> Vector distance

Measures the signed distance between the ends of the move.

interpolate :: (Enum x, Enum y, Ord x, Ord y) => Move x y -> [Coordinates x y]

Generates a line of coordinates covering the half open interval (source, destination].

getDeltaRadiusSquared :: (Fractional radiusSquared, Integral x, Integral y) => Move x y -> radiusSquared

Measure the change in the square of the radius from the centre of the board, resulting from the specified move.

Constructors

mkMove :: (Eq x, Eq y) => Coordinates x y -> Coordinates x y -> Move x y

Smart constructor.

Predicates

isPawnDoubleAdvance :: (Enum x, Enum y, Eq y) => LogicalColour -> Move x y -> Bool

• Whether the specified move is a Pawn's initial double-advance.
• CAVEAT: failing this test guarantees that the move isn't a Pawn's double-advance, but passing only guarantees that it is, if it was a Pawn which moved & that the move is valid.