Safe Haskell	Safe-Inferred
Language	Haskell2010

BishBosh.Property.FixedMembership

Contents

Type-classes

Description

AUTHOR: Dr. Alistair Ward
DESCRIPTION

An interface for data which can only have a fixed number of well-defined members.
Typically for sum-types with exclusively nullary constructors; it *could* be implemented for product-types, but the membership grows exponentially.

Synopsis

class FixedMembership a where
- members :: [a]

Type-classes

class FixedMembership a where Source #

An interface for data which can only have a fixed number of well-defined members.

Methods

members Source #

Arguments

:: [a]

Identify the members.

Instances

Instances details

FixedMembership Bool Source #
Instance details Defined in BishBosh.Property.FixedMembership Methods members :: [Bool] Source #
FixedMembership Ordering Source #
Instance details Defined in BishBosh.Property.FixedMembership Methods members :: [Ordering] Source #
FixedMembership TextEncoding Source #
Instance details Defined in BishBosh.Text.Encoding Methods members :: [TextEncoding] Source #
FixedMembership Verbosity Source #
Instance details Defined in BishBosh.Input.Verbosity Methods members :: [Verbosity] Source #
FixedMembership PhysicalColour Source #
Instance details Defined in BishBosh.Attribute.PhysicalColour Methods members :: [PhysicalColour] Source #
FixedMembership CaptureMoveSortAlgorithm Source #
Instance details Defined in BishBosh.Attribute.CaptureMoveSortAlgorithm Methods members :: [CaptureMoveSortAlgorithm] Source #
FixedMembership LogicalColour Source #
Instance details Defined in BishBosh.Attribute.LogicalColour Methods members :: [LogicalColour] Source #
FixedMembership Result Source #
Instance details Defined in BishBosh.Rule.Result Methods members :: [Result] Source #
FixedMembership Direction Source #
Instance details Defined in BishBosh.Attribute.Direction Methods members :: [Direction] Source #
FixedMembership DrawReason Source #
Instance details Defined in BishBosh.Rule.DrawReason Methods members :: [DrawReason] Source #
FixedMembership GameTerminationReason Source #
Instance details Defined in BishBosh.Rule.GameTerminationReason Methods members :: [GameTerminationReason] Source #
FixedMembership Rank Source #
Instance details Defined in BishBosh.Attribute.Rank Methods members :: [Rank] Source #
FixedMembership Piece Source #
Instance details Defined in BishBosh.Component.Piece Methods members :: [Piece] Source #
FixedMembership MoveType Source #
Instance details Defined in BishBosh.Attribute.MoveType Methods members :: [MoveType] Source #
FixedMembership MoveNotation Source #
Instance details Defined in BishBosh.Notation.MoveNotation Methods members :: [MoveNotation] Source #
FixedMembership PrintObject Source #
Instance details Defined in BishBosh.UI.PrintObject Methods members :: [PrintObject] Source #
FixedMembership ReportObject Source #
Instance details Defined in BishBosh.UI.ReportObject Methods members :: [ReportObject] Source #
FixedMembership a => FixedMembership (Maybe a) Source #
Instance details Defined in BishBosh.Property.FixedMembership Methods members :: [Maybe a] Source #
(Enum x, Enum y) => FixedMembership (Coordinates x y) Source #
Instance details Defined in BishBosh.Cartesian.Coordinates Methods members :: [Coordinates x y] Source #