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 boolean

X - 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

Modifier and Type	Method and 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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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)