Package fj.data.hlist
Class HList.HAppend<A,B,C>
java.lang.Object
fj.data.hlist.HList.HAppend<A,B,C>
- Type Parameters:
A
- The type of the first list.B
- The type of the second list.C
- The type of the combined list.
The concatenation of two heterogeneous lists.
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic <L extends HList<L>>
HList.HAppend<HList.HNil, L, L> append()
Returns a method for concatenating lists to the empty list.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>>
HList.HAppend<HList.HCons<X, A>, B, HList.HCons<X, C>> append
(H h) Returns a method for appending lists to a nonempty heterogeneous list.
-
Field Details
-
append
-
-
Constructor Details
-
HAppend
-
-
Method Details
-
append
Append a given heterogeneous list to another.- Parameters:
a
- a heterogeneous list to be appended to.b
- a heterogeneous list to append to another.- Returns:
- a new heterogeneous list consisting of the second argument appended to the first.
-
append
Returns a method for concatenating lists to the empty list.- Returns:
- a method for concatenating lists to the empty list.
-
append
public static <X,A extends HList<A>, HList.HAppend<HList.HCons<X,B, C extends HList<C>, H extends HList.HAppend<A, B, C>> A>, appendB, HList.HCons<X, C>> (H h) Returns a method for appending lists to a nonempty heterogeneous list.- Parameters:
h
- a method for appending lists to the tail of the given nonempty list.- Returns:
- a method for appending lists to a nonempty heterogeneous list.
-