Package fj.data.hlist

Class HPre.HNat<A extends HPre.HNat<A>>

  • Direct Known Subclasses:
    HPre.HSucc, HPre.HZero
    Enclosing class:
    HPre

    public abstract static class HPre.HNat<A extends HPre.HNat<A>>
    extends java.lang.Object
    Type-level natural numbers.
    • Constructor Detail

      • HNat

        public HNat()
    • Method Detail

      • show

        public abstract Show<A> show()
      • toInteger

        public abstract java.lang.Integer toInteger()