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 booleanB
- A booleanC
- 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
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic HPre.HAnd
<HPre.HFalse, HPre.HFalse, HPre.HFalse> hAnd
(HPre.HFalse a, HPre.HFalse b) static HPre.HAnd
<HPre.HFalse, HPre.HTrue, HPre.HFalse> hAnd
(HPre.HFalse a, HPre.HTrue b) static HPre.HAnd
<HPre.HTrue, HPre.HFalse, HPre.HFalse> hAnd
(HPre.HTrue a, HPre.HFalse b) static HPre.HAnd
<HPre.HTrue, HPre.HTrue, HPre.HTrue> hAnd
(HPre.HTrue a, HPre.HTrue b) v()
-
Field Details
-
v
-
-
Constructor Details
-
HAnd
-
-
Method Details
-
v
-
hAnd
-
hAnd
-
hAnd
-
hAnd
-