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 and Description
HNat()

Method Summary

Modifier and Type	Method and Description
static <N extends HPre.HNat<N>> N	hPred(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()

Methods inherited from class java.lang.Object

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

Constructor Detail

HNat

public HNat()

Method Detail

show

public abstract Show<A> show()

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)