Package 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
-
-
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()
-
-
-
Method Detail
-
show
public Show<HPre.HZero> show()
- Specified by:
show
in classHPre.HNat<HPre.HZero>
-
toInteger
public java.lang.Integer toInteger()
- Specified by:
toInteger
in classHPre.HNat<HPre.HZero>
-
-