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.

fj.data.hlist
Class HPre

java.lang.Object
  extended by 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.

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.