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 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 Object
A type-level conditional. The type of the last parameter is implied by the first three.