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
public static final class HPre.HCond<T,X,Y,Z> extends java.lang.Object
A type-level conditional. The type of the last parameter is implied by the first three.
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static <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)
Z
v()
-
-
-
Field Detail
-
z
private final Z z
-
-
Constructor Detail
-
HCond
private HCond(Z z)
-
-
Method Detail
-
v
public Z v()
-
hCond
public static <X,Y> HPre.HCond<HPre.HFalse,X,Y,Y> hCond(HPre.HFalse t, X x, Y y)
-
hCond
public static <X,Y> HPre.HCond<HPre.HTrue,X,Y,X> hCond(HPre.HTrue t, X x, Y y)
-
-