Package fj.data.hlist

Class HPre.HSucc<N extends HPre.HNat<N>>

  • Type Parameters:
    N - The predecessor of this number.
    Enclosing class:
    HPre

    public static final class HPre.HSucc<N extends HPre.HNat<N>>
    extends HPre.HNat<HPre.HSucc<N>>
    A natural number N + 1
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private N pred  
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private HSucc​(N n)