fj.data.hlist

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

Method Summary

Methods

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

Methods inherited from class fj.data.hlist.HPre.HNat

hPred, hSucc, hZero

Methods inherited from class java.lang.Object

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

Method Detail

show

public Show<HPre.HZero> show()

Specified by:

show in class HPre.HNat<HPre.HZero>

toInteger

public java.lang.Integer toInteger()

Specified by:

toInteger in class HPre.HNat<HPre.HZero>