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
public abstract static class HPre.HNat<A extends HPre.HNat<A>> extends java.lang.Object
Type-level natural numbers.
-
-
Constructor Summary
Constructors Constructor Description HNat()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description static <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()
abstract Show<A>
show()
abstract java.lang.Integer
toInteger()
-
-
-
Method Detail
-
toInteger
public abstract java.lang.Integer toInteger()
-
hZero
public static HPre.HZero hZero()
-
hSucc
public static <N extends HPre.HNat<N>> HPre.HSucc<N> hSucc(N n)
-
hPred
public static <N extends HPre.HNat<N>> N hPred(HPre.HSucc<N> n)
-
-