Package fj.data.hlist
package fj.data.hlist
Type-safe, extensible, heterogeneous lists
- Version:
- %build.number%
-
ClassesClassDescriptionType-safe heterogeneous lists.HList.Apply<F$,
A, R> Type-level function application operators.HList.HAppend<A,B, C> The concatenation of two heterogeneous lists.HList.HCons<E,L extends HList<L>> The nonempty listHList.HFoldr<G,V, L, R> The catamorphism over heterogeneous lists.The empty listA basic prelude of values lifted into the type system.Type-level integer arithmeticType-level boolean conjunction.A type-level BooleanHPre.HCond<T,X, Y, Z> A type-level conditional.HPre.HEq<X,Y, B extends HPre.HBool> Type-level equality.Boolean falseType-level natural numbers.Type-level boolean disjunction.HPre.HSucc<N extends HPre.HNat<N>>A natural number N + 1Boolean trueType-level zero