Safe Haskell | Safe-Infered |
---|
Documentation
Show Zero | |
Cardinality Zero | |
Cardinal Zero | |
Cardinal a => Prod a Zero | |
Cardinal a => Sum a Zero | |
DropList Zero Nil | |
TakeList Zero Nil | |
DropList Zero l => DropList Zero (:|: e l) | |
TakeList Zero l => TakeList Zero (:|: e l) | |
(Ordinal i1, Ordinal i2, Sum i1 i2, MultiIndex is) => MultiIndexConcat Zero (:|: i1 is) (:|: i2 is) |
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 Zero | |
Cardinality One | |
Cardinality Nil | |
Cardinality a => Cardinality (Succ a) | |
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