Package fj.data.hlist

Class 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.