Safe Haskell | Safe-Infered |
---|
Documentation
Cardinal number as a type. The associated data type
provides the next cardinal type. The method Succ
a
provides a numeric representation of the cardinal number; it should
be independent on the argument and work on fromCardinal
.
undefined
fromCardinal :: Num i => a -> iSource
class Cardinal (Card a) => Cardinality a Source
Cardinality One | |
Cardinality Nil | |
Cardinality n => Cardinality (Succ n) | |
(Cardinality e, Cardinality l, Cardinal (:*: (Card e) (Card l))) => Cardinality (:|: e l) |
card :: (Cardinality a, Num i) => a -> iSource
The numeric cardinality of a type.
is independent on its
argument.
card
module Data.TypeAlgebra