Package fj.data.hlist
Class HPre
- java.lang.Object
-
- fj.data.hlist.HPre
-
public final class HPre extends java.lang.Object
A basic prelude of values lifted into the type system.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
HPre.HAdd<A extends HPre.HNat<A>,B extends HPre.HNat<B>,C extends HPre.HNat<C>>
Type-level integer arithmeticstatic 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 Booleanstatic 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 falsestatic 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 + 1static class
HPre.HTrue
Boolean truestatic class
HPre.HZero
Type-level zero
-
Field Summary
Fields Modifier and Type Field Description private static HPre.HFalse
hFalse
private static HPre.HTrue
hTrue
-
Constructor Summary
Constructors Modifier Constructor Description private
HPre()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static HPre.HFalse
hFalse()
Returns a boolean value whose type represents falsehood.static HPre.HTrue
hTrue()
Returns a boolean value whose type represents truth.
-
-
-
Field Detail
-
hTrue
private static final HPre.HTrue hTrue
-
hFalse
private static final HPre.HFalse hFalse
-
-
Method Detail
-
hTrue
public static HPre.HTrue hTrue()
Returns a boolean value whose type represents truth.- Returns:
- a boolean value whose type represents truth.
-
hFalse
public static HPre.HFalse hFalse()
Returns a boolean value whose type represents falsehood.- Returns:
- a boolean value whose type represents falsehood.
-
-