static <X,A extends HList<A>,B,C extends HList<C>,H extends HList.HAppend<A,B,C>> HList.HAppend<HList.HCons<X,A>,B,HList.HCons<X,C>> |
HList.HAppend.append(H h) |
Returns a method for appending lists to a nonempty heterogeneous list.
|
static <X,A extends HList<A>,B,C extends HList<C>,H extends HList.HAppend<A,B,C>> HList.HAppend<HList.HCons<X,A>,B,HList.HCons<X,C>> |
HList.HAppend.append(H h) |
Returns a method for appending lists to a nonempty heterogeneous list.
|
static <E,L extends HList<L>> HList.Apply<Unit,P2<E,L>,HList.HCons<E,L>> |
HList.Apply.cons() |
An operator for the construction of heterogeneous lists.
|
<X> HList.HCons<X,HList.HCons<E,L>> |
HList.HCons.extend(X e) |
|
abstract <E> HList.Apply<Unit,P2<E,A>,HList.HCons<E,A>> |
HList.extender() |
|
<X> HList.Apply<Unit,P2<X,HList.HCons<E,L>>,HList.HCons<X,HList.HCons<E,L>>> |
HList.HCons.extender() |
|
<X> HList.Apply<Unit,P2<X,HList.HCons<E,L>>,HList.HCons<X,HList.HCons<E,L>>> |
HList.HCons.extender() |
|
<X> HList.Apply<Unit,P2<X,HList.HCons<E,L>>,HList.HCons<X,HList.HCons<E,L>>> |
HList.HCons.extender() |
|
<E> HList.Apply<Unit,P2<E,HList.HNil>,HList.HCons<E,HList.HNil>> |
HList.HNil.extender() |
|
static <E,G,V,L extends HList<L>,R,RR,H extends HList.HFoldr<G,V,L,R>,PP extends HList.Apply<G,P2<E,R>,RR>> HList.HFoldr<G,V,HList.HCons<E,L>,RR> |
HList.HFoldr.hFoldr(PP p,
H h) |
A fold instance for a non-empty heterogeneous list
|