countable-1.2: Countable, Searchable, Finite, Empty classes
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Singular

Synopsis

Documentation

class (Finite a, AtLeastOneCountable a) => Singular a where Source #

There is exactly one value.

Methods

single :: a Source #

Instances

Instances details
Singular () Source # 
Instance details

Defined in Data.Singular

Methods

single :: () Source #

(Singular a, Singular b) => Singular (a, b) Source # 
Instance details

Defined in Data.Singular

Methods

single :: (a, b) Source #