Class HPre

java.lang.Object

fj.data.hlist.HPre

public final class HPre
extends Object

A basic prelude of values lifted into the type system.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	HPre.HAdd<A extends HPre.HNat<A>, B extends HPre.HNat<B>, C extends HPre.HNat<C>>	Type-level integer arithmetic
static final 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 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	HPre.HFalse	Boolean false
static class	HPre.HNat<A extends HPre.HNat<A>>	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 + 1
static class	HPre.HTrue	Boolean true
static final class	HPre.HZero	Type-level zero

Field Summary

Fields

Modifier and Type	Field	Description
private static final HPre.HFalse	hFalse
private static final HPre.HTrue	hTrue

Constructor Summary

Constructors

Modifier	Constructor	Description
private	HPre()

Method Summary

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.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

hTrue

private static final HPre.HTrue hTrue

hFalse

private static final HPre.HFalse hFalse

Constructor Details

HPre

private HPre()

Method Details

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.