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