HList |
Type-safe heterogeneous lists.
|
HList.Apply |
Type-level function application operators.
|
HList.HAppend |
The concatenation of two heterogeneous lists.
|
HList.HCons |
The nonempty list
|
HList.HFoldr |
The catamorphism over heterogeneous lists.
|
HList.HNil |
The empty list
|
HPre.HAdd |
Type-level integer arithmetic
|
HPre.HAnd |
Type-level boolean conjunction.
|
HPre.HBool |
A type-level Boolean
|
HPre.HCond |
A type-level conditional.
|
HPre.HEq |
Type-level equality.
|
HPre.HFalse |
Boolean false
|
HPre.HNat |
Type-level natural numbers.
|
HPre.HOr |
Type-level boolean disjunction.
|
HPre.HSucc |
A natural number N + 1
|
HPre.HTrue |
Boolean true
|
HPre.HZero |
Type-level zero
|