Package fj.data.hlist

Class HPre.HOr<A extends HPre.HBool,​B extends HPre.HBool,​C extends HPre.HBool>

  • Type Parameters:
    A - A boolean
    B - A boolean
    C - The logical implication of A or B
    Enclosing class:
    HPre

    public static final class HPre.HOr<A extends HPre.HBool,​B extends HPre.HBool,​C extends HPre.HBool>
    extends java.lang.Object
    Type-level boolean disjunction. A value of this type represents evidence that A+B -> C