|
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
public final class HPre
A basic prelude of values lifted into the type system.
Nested Class Summary | |
---|---|
static class |
HPre.HAdd<A extends HPre.HNat<A>,B extends HPre.HNat<B>,C extends HPre.HNat<C>>
Type-level integer arithmetic |
static class |
HPre.HAnd<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>
Type-level boolean conjunction. |
static class |
HPre.HBool
A type-level Boolean |
static class |
HPre.HCond<T,X,Y,Z>
A type-level conditional. |
static class |
HPre.HEq<X,Y,B extends HPre.HBool>
Type-level equality. |
static class |
HPre.HFalse
Boolean false |
static class |
HPre.HNat<A extends HPre.HNat<A>>
Type-level natural numbers. |
static class |
HPre.HOr<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>
Type-level boolean disjunction. |
static class |
HPre.HSucc<N extends HPre.HNat<N>>
A natural number N + 1 |
static class |
HPre.HTrue
Boolean true |
static class |
HPre.HZero
Type-level zero |
Method Summary | |
---|---|
static HPre.HFalse |
hFalse()
Returns a boolean value whose type represents falsehood. |
static HPre.HTrue |
hTrue()
Returns a boolean value whose type represents truth. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static HPre.HTrue hTrue()
public static HPre.HFalse hFalse()
|
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 |