Package fj.data.hlist
Class HList.Apply<F$,A,R>
java.lang.Object
fj.data.hlist.HList.Apply<F$,A,R>
- Type Parameters:
F$
- The type of the function to apply.A
- The domain of the function.R
- The function's codomain.
Type-level function application operators.
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic <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
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
-
Constructor Details
-
Apply
public Apply()
-
-
Method Details
-
apply
-
f
Function application operator.- Returns:
- an operator that applies a given function to a given argument.
-
id
Identity operator- Returns:
- An operator that returns its second argument no matter which function is being applied.
-
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
An operator for the construction of heterogeneous lists.- Returns:
- an operator that constructs heterogeneous lists.
-
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.
-