fj.data.hlist
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

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

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.