Chess.Game.Command

Types and functions for commands that can change chess game states.

Documentation

data Command

A command can be applied to a chess game state in order to obtain a new game state.

Constructors

EndTurn

Ends the turn of the active player.

Move Position (Some PlacedPiece)

Moves a placed piece to the specified position.

Destroy (Some PlacedPiece)

Removes a placed piece.

Spawn Position (Some Piece)

Creates a chess piece on the specified position.

Promote (Some PlacedPiece) (Some Piece)

Converts a chess piece into another piece.

Sequence Command Command

Represents the consecutive execution of two commands.

Atomic Command

Denotes that a command and its sub-commands belong together and should be treated as single command (e.g., when recording the history of a chess game).

Instances

IsList Command

Defined in Chess.Game.Command

Associated Types

type Item Command

Methods

fromList :: [Item Command] -> Command

fromListN :: Int -> [Item Command] -> Command

toList :: Command -> [Item Command]

Show Command

Defined in Chess.Game.Command

Methods

showsPrec :: Int -> Command -> ShowS

show :: Command -> String

showList :: [Command] -> ShowS

Eq Command

Defined in Chess.Game.Command

Methods

(==) :: Command -> Command -> Bool

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

Ord Command

Defined in Chess.Game.Command

Methods

compare :: Command -> Command -> Ordering

(<) :: Command -> Command -> Bool

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

(>) :: Command -> Command -> Bool

(>=) :: Command -> Command -> Bool

max :: Command -> Command -> Command

min :: Command -> Command -> Command

type Item Command

Defined in Chess.Game.Command

type Item Command = Command

endTurn :: Command

Smart constructor for EndTurn.

move :: Position -> PlacedPiece t -> Command

Smart constructor for Move.

destroy :: PlacedPiece t -> Command

Smart constructor for Destroy.

spawn :: Position -> Piece t -> Command

Smart constructor for Spawn.

promote :: PlacedPiece a -> Piece b -> Command

Smart constructor for Promote.

sequence :: Command -> Command -> Command

Smart constructor for Sequence.

atomic :: Command -> Command

Smart constructor for Atomic.

undo :: Command -> Command

Produces a command that has the opposite effect of the specified command.