Package fj.data.hlist

Class HPre.HAnd<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>

java.lang.Object
fj.data.hlist.HPre.HAnd<A,B,C>
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 Object
Type-level boolean conjunction. A value of this type represents evidence that AB -> C