fj.data.hlist

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 and Description
Show<HPre.HSucc<N>>	show()
java.lang.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 java.lang.Integer toInteger()

Specified by:

toInteger in class HPre.HNat<HPre.HSucc<N extends HPre.HNat<N>>>