A cons cell of an HList
, containing an element type and the element
A heterogenous list where each element has its own type.
Natural numbers for indexing in HLists.
Natural numbers for indexing in HLists.
All type-level computations are done with Church Numerals.
Value-level computations at run-time are done directly on the underlying
Int
values, similar to java.lang.Integer
.
A successor of another Nat
A function which operates at the type and value levels.
A binary function which operates at the type and value levels.