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 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

Method Summary

Modifier and Type	Method and 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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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)