Package fj.data.hlist
Class HPre
java.lang.Object
fj.data.hlist.HPre
A basic prelude of values lifted into the type system.
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic final class
Type-level integer arithmeticstatic final class
HPre.HAnd<A extends HPre.HBool,
B extends HPre.HBool, C extends HPre.HBool> Type-level boolean conjunction.static class
A type-level Booleanstatic final class
HPre.HCond<T,
X, Y, Z> A type-level conditional.static final class
HPre.HEq<X,
Y, B extends HPre.HBool> Type-level equality.static class
Boolean falsestatic class
Type-level natural numbers.static final class
HPre.HOr<A extends HPre.HBool,
B extends HPre.HBool, C extends HPre.HBool> Type-level boolean disjunction.static final class
HPre.HSucc<N extends HPre.HNat<N>>
A natural number N + 1static class
Boolean truestatic final class
Type-level zero -
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final HPre.HFalse
private static final HPre.HTrue
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic HPre.HFalse
hFalse()
Returns a boolean value whose type represents falsehood.static HPre.HTrue
hTrue()
Returns a boolean value whose type represents truth.
-
Field Details
-
hTrue
-
hFalse
-
-
Constructor Details
-
HPre
private HPre()
-
-
Method Details
-
hTrue
Returns a boolean value whose type represents truth.- Returns:
- a boolean value whose type represents truth.
-
hFalse
Returns a boolean value whose type represents falsehood.- Returns:
- a boolean value whose type represents falsehood.
-