Package fj.data.hlist

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

java.lang.Object
fj.data.hlist.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 Object
Type-level natural numbers.
  • Constructor Details

    • HNat

      public HNat()
  • Method Details