Modifier and Type | Method and Description |
---|---|
static <L extends HList<L>> |
append()
Returns a method for concatenating lists to the empty list.
|
C |
append(A a,
B b)
Append a given heterogeneous list to another.
|
static <X,A extends HList<A>,B,C extends HList<C>,H extends HList.HAppend<A,B,C>> |
append(H h)
Returns a method for appending lists to a nonempty heterogeneous list.
|
public C append(A a, B b)
a
- a heterogeneous list to be appended to.b
- a heterogeneous list to append to another.public static <L extends HList<L>> HList.HAppend<HList.HNil,L,L> append()
public 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>> append(H h)
h
- a method for appending lists to the tail of the given nonempty list.