Class HPre.HSucc<N extends HPre.HNat<N>>

java.lang.Object

fj.data.hlist.HPre.HNat<HPre.HSucc<N>>

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

Modifier and Type	Method	Description
Show<HPre.HSucc<N>>	show()
Integer	toInteger()

Methods inherited from class HPre.HNat

hPred, hSucc, hZero

Methods inherited from class Object

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

Method Details

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>>>