Uses of Package
fj.data.hlist
Packages that use fj.data.hlist
Package
Description
Types that set the premise for the existence of Functional Java.
Type-safe, extensible, heterogeneous lists
-
Classes in fj.data.hlist used by fjClassDescriptionType-safe heterogeneous lists.The nonempty listThe empty list
-
Classes in fj.data.hlist used by fj.data.hlistClassDescriptionType-safe heterogeneous lists.Type-level function application operators.The concatenation of two heterogeneous lists.The nonempty listThe catamorphism over heterogeneous lists.The empty listType-level integer arithmeticType-level boolean conjunction.A type-level BooleanA type-level conditional.Type-level equality.Boolean falseType-level natural numbers.Type-level boolean disjunction.A natural number N + 1Boolean trueType-level zero