Copyright	(c) Michael Szvetits 2023
License	BSD-3-Clause (see the file LICENSE)
Maintainer	typedbyte@qualified.name
Stability	stable
Portability	portable
Safe Haskell	Safe-Inferred
Language	GHC2021

Chess.Some

Description

Types and functions to create an existential type.

Synopsis

data Some f = forall t. Some (f t)

Documentation

data Some f Source #

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

Instances details

Show (Some PlacedPiece) Source #
Instance details Defined in Chess.Board.PlacedPiece Methods showsPrec :: Int -> Some PlacedPiece -> ShowS # show :: Some PlacedPiece -> String # showList :: [Some PlacedPiece] -> ShowS #
Show (Some Piece) Source #
Instance details Defined in Chess.Piece Methods showsPrec :: Int -> Some Piece -> ShowS # show :: Some Piece -> String # showList :: [Some Piece] -> ShowS #
Eq (Some PlacedPiece) Source #
Instance details Defined in Chess.Board.PlacedPiece Methods (==) :: Some PlacedPiece -> Some PlacedPiece -> Bool # (/=) :: Some PlacedPiece -> Some PlacedPiece -> Bool #
Eq (Some Piece) Source #
Instance details Defined in Chess.Piece Methods (==) :: Some Piece -> Some Piece -> Bool # (/=) :: Some Piece -> Some Piece -> Bool #
Ord (Some PlacedPiece) Source #
Instance details 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) Source #
Instance details 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 #