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
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method 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

- Constructor Detail
  - HZero
```
private HZero()
```
- 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>