Package fj.data.hlist
Class HPre.HOr<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>
- java.lang.Object
-
- fj.data.hlist.HPre.HOr<A,B,C>
-
- Type Parameters:
A
- A booleanB
- A booleanC
- 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 thatA+B -> C
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static HPre.HOr<HPre.HFalse,HPre.HFalse,HPre.HFalse>
hOr(HPre.HFalse a, HPre.HFalse b)
static HPre.HOr<HPre.HFalse,HPre.HTrue,HPre.HTrue>
hOr(HPre.HFalse a, HPre.HTrue b)
static HPre.HOr<HPre.HTrue,HPre.HFalse,HPre.HTrue>
hOr(HPre.HTrue a, HPre.HFalse b)
static HPre.HOr<HPre.HTrue,HPre.HTrue,HPre.HTrue>
hOr(HPre.HTrue a, HPre.HTrue b)
C
v()
-
-
-
Field Detail
-
v
private final C extends HPre.HBool v
-
-
Constructor Detail
-
HOr
private HOr(C v)
-
-
Method Detail
-
v
public C v()
-
hOr
public static HPre.HOr<HPre.HFalse,HPre.HFalse,HPre.HFalse> hOr(HPre.HFalse a, HPre.HFalse b)
-
hOr
public static HPre.HOr<HPre.HTrue,HPre.HFalse,HPre.HTrue> hOr(HPre.HTrue a, HPre.HFalse b)
-
hOr
public static HPre.HOr<HPre.HFalse,HPre.HTrue,HPre.HTrue> hOr(HPre.HFalse a, HPre.HTrue b)
-
hOr
public static HPre.HOr<HPre.HTrue,HPre.HTrue,HPre.HTrue> hOr(HPre.HTrue a, HPre.HTrue b)
-
-