Package fj.data.hlist
Class HPre.HZero
- Enclosing class:
HPre
Type-level zero
-
Constructor Summary
Constructors -
Method Summary
-
Constructor Details
-
HZero
private HZero()
-
-
Method Details
-
show
- Specified by:
show
in classHPre.HNat<HPre.HZero>
-
toInteger
- Specified by:
toInteger
in classHPre.HNat<HPre.HZero>
-