Package fj.data.hlist

Class HPre.HAnd<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 and B
    Enclosing class:
    HPre

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