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.HNat<A extends HPre.HNat<A>>

java.lang.Object
  extended by fj.data.hlist.HPre.HNat<A>
Direct Known Subclasses:
HPre.HSucc, HPre.HZero
Enclosing class:
HPre

public abstract static class HPre.HNat<A extends HPre.HNat<A>>
extends Object

Type-level natural numbers.


Constructor Summary
HPre.HNat()
           
 
Method Summary
static
<N extends HPre.HNat<N>>
N
hPred(HPre.HSucc<N> n)
           
static
<N extends HPre.HNat<N>>
HPre.HSucc<N>
hSucc(N n)
           
static HPre.HZero hZero()
           
abstract  Show<A> show()
           
abstract  Integer toInteger()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

HPre.HNat

public HPre.HNat()
Method Detail

show

public abstract Show<A> show()

toInteger

public abstract Integer toInteger()

hZero

public static HPre.HZero hZero()

hSucc

public static <N extends HPre.HNat<N>> HPre.HSucc<N> hSucc(N n)

hPred

public static <N extends HPre.HNat<N>> N hPred(HPre.HSucc<N> n)

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.