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.Piece

Contents

Representing Pieces
Analyzing Piece Types
Analyzing Pieces

Description

Types and functions to create and analyze chess pieces.

Synopsis

data PieceType'
- = Pawn'
- | Knight'
- | Bishop'
- | Rook'
- | Queen'
- | King'
data PieceType t where
- Pawn :: PieceType Pawn'
- Knight :: PieceType Knight'
- Bishop :: PieceType Bishop'
- Rook :: PieceType Rook'
- Queen :: PieceType Queen'
- King :: PieceType King'
data Piece t = Piece {
- type' :: PieceType t
- color :: Color
}
somePiece :: PieceType t -> Color -> Some Piece
fromSome :: Some PieceType -> Color -> Some Piece
equals :: PieceType a -> PieceType b -> Bool
same :: Piece a -> Piece b -> Bool
isOfType :: PieceType t -> Piece a -> Bool
assume :: Alternative f => PieceType t -> Piece a -> f (Piece t)

Representing Pieces

data PieceType' Source #

Represents the piece types involved in a chess game on the type-level.

Constructors

Pawn'
Knight'
Bishop'
Rook'
Queen'
King'

Instances

Instances details

Read PieceType' Source #
Instance details Defined in Chess.Piece Methods readsPrec :: Int -> ReadS PieceType' # readList :: ReadS [PieceType'] # readPrec :: ReadPrec PieceType' # readListPrec :: ReadPrec [PieceType'] #
Show PieceType' Source #
Instance details Defined in Chess.Piece Methods showsPrec :: Int -> PieceType' -> ShowS # show :: PieceType' -> String # showList :: [PieceType'] -> ShowS #
Eq PieceType' Source #
Instance details Defined in Chess.Piece Methods (==) :: PieceType' -> PieceType' -> Bool # (/=) :: PieceType' -> PieceType' -> Bool #
Ord PieceType' Source #
Instance details Defined in Chess.Piece Methods compare :: PieceType' -> PieceType' -> Ordering # (<) :: PieceType' -> PieceType' -> Bool # (<=) :: PieceType' -> PieceType' -> Bool # (>) :: PieceType' -> PieceType' -> Bool # (>=) :: PieceType' -> PieceType' -> Bool # max :: PieceType' -> PieceType' -> PieceType' # min :: PieceType' -> PieceType' -> PieceType' #
TestEquality PieceType Source #
Instance details Defined in Chess.Piece Methods testEquality :: forall (a :: k) (b :: k). PieceType a -> PieceType b -> Maybe (a :~: b) #
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 #

data PieceType t where Source #

Represents the piece types involved in a chess game on the term-level.

Constructors

Pawn :: PieceType Pawn'
Knight :: PieceType Knight'
Bishop :: PieceType Bishop'
Rook :: PieceType Rook'
Queen :: PieceType Queen'
King :: PieceType King'

Instances

Instances details

TestEquality PieceType Source #
Instance details Defined in Chess.Piece Methods testEquality :: forall (a :: k) (b :: k). PieceType a -> PieceType b -> Maybe (a :~: b) #
HasField "type'" (PlacedPiece t) (PieceType t) Source #
Instance details Defined in Chess.Board.PlacedPiece Methods getField :: PlacedPiece t -> PieceType t #
Show (PieceType t) Source #
Instance details Defined in Chess.Piece Methods showsPrec :: Int -> PieceType t -> ShowS # show :: PieceType t -> String # showList :: [PieceType t] -> ShowS #
Eq (PieceType t) Source #
Instance details Defined in Chess.Piece Methods (==) :: PieceType t -> PieceType t -> Bool # (/=) :: PieceType t -> PieceType t -> Bool #
Ord (PieceType t) Source #
Instance details Defined in Chess.Piece Methods compare :: PieceType t -> PieceType t -> Ordering # (<) :: PieceType t -> PieceType t -> Bool # (<=) :: PieceType t -> PieceType t -> Bool # (>) :: PieceType t -> PieceType t -> Bool # (>=) :: PieceType t -> PieceType t -> Bool # max :: PieceType t -> PieceType t -> PieceType t # min :: PieceType t -> PieceType t -> PieceType t #

data Piece t Source #

Represents a chess piece, which is a combination of its type and its color.

Constructors

Piece
Fields type' :: PieceType t color :: Color

Instances

Instances details

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

somePiece :: PieceType t -> Color -> Some Piece Source #

Smart constructor for creating Some Piece.

fromSome :: Some PieceType -> Color -> Some Piece Source #

Smart constructor for creating Some Piece from Some PieceType.

Analyzing Piece Types

equals :: PieceType a -> PieceType b -> Bool Source #

Returns true if two piece types are the same.

Analyzing Pieces

same :: Piece a -> Piece b -> Bool Source #

Returns true if two pieces are the same.

isOfType :: PieceType t -> Piece a -> Bool Source #

Returns true if the given piece has the specified piece type.

assume :: Alternative f => PieceType t -> Piece a -> f (Piece t) Source #

Assumes that the given piece has the specified piece type.