|
Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg This software is released under an open source BSD licence.
|
PREV CLASS
NEXT CLASS |
FRAMES
NO FRAMES
|
SUMMARY: NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD |
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 Object
Type-level boolean disjunction. A value of this type represents evidence that A+B -> C
Method Summary |
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 |
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)
|
Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg This software is released under an open source BSD licence.
|
PREV CLASS
NEXT CLASS |
FRAMES
NO FRAMES
|
SUMMARY: NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD |