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

java.lang.Object
  extended by fj.data.hlist.HPre.HNat<HPre.HSucc<N>>
      extended by fj.data.hlist.HPre.HSucc<N>
Type Parameters:
N - The predecessor of this number.
Enclosing class:
HPre

public static final class HPre.HSucc<N extends HPre.HNat<N>>
extends HPre.HNat<HPre.HSucc<N>>

A natural number N + 1


Method Summary
 Show<HPre.HSucc<N>> show()
           
 Integer toInteger()
           
 
Methods inherited from class fj.data.hlist.HPre.HNat
hPred, hSucc, hZero
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

show

public Show<HPre.HSucc<N>> show()
Specified by:
show in class HPre.HNat<HPre.HSucc<N extends HPre.HNat<N>>>

toInteger

public Integer toInteger()
Specified by:
toInteger in class HPre.HNat<HPre.HSucc<N extends HPre.HNat<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.