Package fj.data.hlist
Class HList.Apply<F$,A,R>
- java.lang.Object
-
- fj.data.hlist.HList.Apply<F$,A,R>
-
-
Constructor Summary
Constructors Constructor Description Apply()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description static <A,B,C>
HList.Apply<HList.HAppend<A,B,C>,P2<A,B>,C>append()
A function application operator for concatenating heterogeneous lists.abstract R
apply(F$ f, A a)
static <X,Y,Z>
HList.Apply<Unit,P2<F<X,Y>,F<Y,Z>>,F<X,Z>>comp()
A function application operator for function composition.static <E,L extends HList<L>>
HList.Apply<Unit,P2<E,L>,HList.HCons<E,L>>cons()
An operator for the construction of heterogeneous lists.static <X,Y>
HList.Apply<F<X,Y>,X,Y>f()
Function application operator.static <X> HList.Apply<Unit,X,X>
id()
Identity operator
-
-
-
Method Detail
-
f
public static <X,Y> HList.Apply<F<X,Y>,X,Y> f()
Function application operator.- Returns:
- an operator that applies a given function to a given argument.
-
id
public static <X> HList.Apply<Unit,X,X> id()
Identity operator- Returns:
- An operator that returns its second argument no matter which function is being applied.
-
comp
public static <X,Y,Z> HList.Apply<Unit,P2<F<X,Y>,F<Y,Z>>,F<X,Z>> comp()
A function application operator for function composition.- Type Parameters:
X
- The domain.Y
- The type through which to compose.Z
- The codomain.- Returns:
- an operator that composes functions.
-
cons
public static <E,L extends HList<L>> HList.Apply<Unit,P2<E,L>,HList.HCons<E,L>> cons()
An operator for the construction of heterogeneous lists.- Returns:
- an operator that constructs heterogeneous lists.
-
append
public static <A,B,C> HList.Apply<HList.HAppend<A,B,C>,P2<A,B>,C> append()
A function application operator for concatenating heterogeneous lists.- Type Parameters:
A
- The type of the list to which to append.B
- The type of the list to append.C
- The type of the concatenated list.- Returns:
- an operator that concatenates heterogeneous lists.
-
-