Package fj.data.hlist
Class HPre.HNat<A extends HPre.HNat<A>>
java.lang.Object
fj.data.hlist.HPre.HNat<A>
- Direct Known Subclasses:
HPre.HSucc
,HPre.HZero
- Enclosing class:
HPre
Type-level natural numbers.
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic <N extends HPre.HNat<N>>
NhPred
(HPre.HSucc<N> n) static <N extends HPre.HNat<N>>
HPre.HSucc<N> hSucc
(N n) static HPre.HZero
hZero()
show()
abstract Integer
-
Constructor Details
-
HNat
public HNat()
-
-
Method Details
-
show
-
toInteger
-
hZero
-
hSucc
-
hPred
-