HPre.HZero (Functional Java Parent POM 5.0 API)

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

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

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>