HPre.HNat

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 Object

Type-level natural numbers.

Constructor Summary

Constructors

Constructor

Description

HNat()
Method Summary

Modifier and Type

Method

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 Integer

toInteger()

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- HNat
  
  public HNat()
Method Details
- show
  
  public abstract Show<A> show()
- toInteger
  
  public abstract 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)