Package 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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Show<HPre.HSucc<N>>
show()
java.lang.Integer
toInteger()
-
-
-
Constructor Detail
-
HSucc
private HSucc(N n)
-
-
Method Detail
-
show
public Show<HPre.HSucc<N>> show()
-
-