Class HPre.HZero

java.lang.Object

fj.data.hlist.HPre.HNat<HPre.HZero>

fj.data.hlist.HPre.HZero

Enclosing class:

HPre

public static final class HPre.HZero
extends HPre.HNat<HPre.HZero>

Type-level zero

Constructor Summary

Constructors

Modifier	Constructor	Description
private	HZero()

Method Summary

Modifier and Type	Method	Description
Show<HPre.HZero>	show()
Integer	toInteger()

Methods inherited from class HPre.HNat

hPred, hSucc, hZero

Methods inherited from class Object

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

Constructor Details

HZero

private HZero()

Method Details

show

public Show<HPre.HZero> show()

Specified by:

show in class HPre.HNat<HPre.HZero>

toInteger

public Integer toInteger()

Specified by:

toInteger in class HPre.HNat<HPre.HZero>