Package fj.data.hlist
Class HPre.HCond<T,X,Y,Z>
java.lang.Object
fj.data.hlist.HPre.HCond<T,X,Y,Z>
- Type Parameters:
T
- A booleanX
- The type of Z if T is true.Y
- The type of Z if T is false.Z
- A type that is either X or Z, depending on T.
- Enclosing class:
HPre
A type-level conditional. The type of the last parameter is implied by the first three.
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic <X,
Y> HPre.HCond <HPre.HFalse, X, Y, Y> hCond
(HPre.HFalse t, X x, Y y) static <X,
Y> HPre.HCond <HPre.HTrue, X, Y, X> hCond
(HPre.HTrue t, X x, Y y) v()
-
Field Details
-
z
-
-
Constructor Details
-
HCond
-
-
Method Details
-
v
-
hCond
-
hCond
-