|
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 |
java.lang.Objectfj.data.hlist.HPre.HAnd<A,B,C>
A
- A booleanB
- A booleanC
- The logical implication of A and Bpublic static final class HPre.HAnd<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>
Type-level boolean conjunction. A value of this type represents evidence that AB -> C
Method Summary | |
---|---|
static 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)
|
C |
v()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public C v()
public static HPre.HAnd<HPre.HFalse,HPre.HFalse,HPre.HFalse> hAnd(HPre.HFalse a, HPre.HFalse b)
public static HPre.HAnd<HPre.HTrue,HPre.HFalse,HPre.HFalse> hAnd(HPre.HTrue a, HPre.HFalse b)
public static HPre.HAnd<HPre.HFalse,HPre.HTrue,HPre.HFalse> hAnd(HPre.HFalse a, HPre.HTrue b)
public static HPre.HAnd<HPre.HTrue,HPre.HTrue,HPre.HTrue> hAnd(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 |