BishBosh.Rule.GameTerminationReason

AUTHOR

Dr. Alistair Ward

DESCRIPTION

• Itemises the various reasons for terminating a game.
• Each reason corresponds to a rule in chess.

Types

Data-types

data GameTerminationReason

The sum-type of ways in which a game can legally be terminated.

Instances

Eq GameTerminationReason

Defined in BishBosh.Rule.GameTerminationReason

Methods

(==) :: GameTerminationReason -> GameTerminationReason -> Bool

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

Ord GameTerminationReason

Defined in BishBosh.Rule.GameTerminationReason

Methods

compare :: GameTerminationReason -> GameTerminationReason -> Ordering

(<) :: GameTerminationReason -> GameTerminationReason -> Bool

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

(>) :: GameTerminationReason -> GameTerminationReason -> Bool

(>=) :: GameTerminationReason -> GameTerminationReason -> Bool

max :: GameTerminationReason -> GameTerminationReason -> GameTerminationReason

min :: GameTerminationReason -> GameTerminationReason -> GameTerminationReason

Read GameTerminationReason

Defined in BishBosh.Rule.GameTerminationReason

Methods

readsPrec :: Int -> ReadS GameTerminationReason

readList :: ReadS [GameTerminationReason]

readPrec :: ReadPrec GameTerminationReason

readListPrec :: ReadPrec [GameTerminationReason]

Show GameTerminationReason

Defined in BishBosh.Rule.GameTerminationReason

Methods

showsPrec :: Int -> GameTerminationReason -> ShowS

show :: GameTerminationReason -> String

showList :: [GameTerminationReason] -> ShowS

NFData GameTerminationReason

Defined in BishBosh.Rule.GameTerminationReason

Methods

rnf :: GameTerminationReason -> ()

FixedMembership GameTerminationReason

Defined in BishBosh.Rule.GameTerminationReason

Methods

members :: [GameTerminationReason]

Opposable GameTerminationReason

Defined in BishBosh.Rule.GameTerminationReason

Methods

getOpposite :: GameTerminationReason -> GameTerminationReason

Functions

toResult :: GameTerminationReason -> Result

Convert to a result.

Constructors

mkCheckMate :: LogicalColour -> GameTerminationReason

Constructor.

mkResignation :: LogicalColour -> GameTerminationReason

Constructor.

mkDraw :: DrawReason -> GameTerminationReason

Constructor.

Predicates

isCheckMateBy :: LogicalColour -> GameTerminationReason -> Bool

Whether the game was won by the specified player.

isCheckMate :: GameTerminationReason -> Bool

Whether the game terminated in check-mate.

isResignation :: GameTerminationReason -> Bool

Whether the game was resigned.

isDraw :: GameTerminationReason -> Bool

Whether the game was drawn.

isDrawByInsufficientMaterial :: GameTerminationReason -> Bool

Predicate.

isStaleMate :: GameTerminationReason -> Bool

Predicate.