HList
Heterogeneous list whose elements are evaluated during list
construction.
Derive an isomorphism between a product type and a flat HList.
A heterogeneous list whose type and length are fixed statically. This
is reproduced from the
HList package due to integration issues,
and because very little other functionality from that library is
needed.
Not on Stackage, so not searched.
Heterogeneous lists
Defines a Heterogenous list.
A GADT HList implementation
There exist other implementations of HList on hackage, but none seem
to be reliably maintained.
Derive an isomorphism between a product type and a flat HList.
Defines a Heterogenous list.
Duplicate of
singletons Head function for
kind-polymorphic type-level lists.
Not on Stackage, so not searched.
Heterogeneous list
A typed index into a typed heterogeneous list.
Not on Stackage, so not searched.
A preprocessor for HList labelable labels
xs `shouldMatchList` ys sets the expectation that xs
has the same elements that ys has, possibly in another order
Heterogeneous list whose elements are left as-is during list
construction (cf.
HList).