Chess.Some

Types and functions to create an existential type.

Documentation

data Some f

This existential type is used to "erase" the type parameter of a type, which allows one to define types and functions that are agnostic to the erased type parameter.

Constructors

forall t. Some (f t)

Instances

Show (Some PlacedPiece)

Defined in Chess.Board.PlacedPiece

Methods

showsPrec :: Int -> Some PlacedPiece -> ShowS

show :: Some PlacedPiece -> String

showList :: [Some PlacedPiece] -> ShowS

Show (Some Piece)

Defined in Chess.Piece

Methods

showsPrec :: Int -> Some Piece -> ShowS

show :: Some Piece -> String

showList :: [Some Piece] -> ShowS

Eq (Some PlacedPiece)

Defined in Chess.Board.PlacedPiece

Methods

(==) :: Some PlacedPiece -> Some PlacedPiece -> Bool

(/=) :: Some PlacedPiece -> Some PlacedPiece -> Bool

Eq (Some Piece)

Defined in Chess.Piece

Methods

(==) :: Some Piece -> Some Piece -> Bool

(/=) :: Some Piece -> Some Piece -> Bool

Ord (Some PlacedPiece)

Defined in Chess.Board.PlacedPiece

Methods

compare :: Some PlacedPiece -> Some PlacedPiece -> Ordering

(<) :: Some PlacedPiece -> Some PlacedPiece -> Bool

(<=) :: Some PlacedPiece -> Some PlacedPiece -> Bool

(>) :: Some PlacedPiece -> Some PlacedPiece -> Bool

(>=) :: Some PlacedPiece -> Some PlacedPiece -> Bool

max :: Some PlacedPiece -> Some PlacedPiece -> Some PlacedPiece

min :: Some PlacedPiece -> Some PlacedPiece -> Some PlacedPiece

Ord (Some Piece)

Defined in Chess.Piece

Methods

compare :: Some Piece -> Some Piece -> Ordering

(<) :: Some Piece -> Some Piece -> Bool

(<=) :: Some Piece -> Some Piece -> Bool

(>) :: Some Piece -> Some Piece -> Bool

(>=) :: Some Piece -> Some Piece -> Bool

max :: Some Piece -> Some Piece -> Some Piece

min :: Some Piece -> Some Piece -> Some Piece