shapeless

Nats

trait Nats extends AnyRef

Linear Supertypes
AnyRef, Any
Known Subclasses
Nat
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Nats
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. type _1 = Succ[_0]

  2. type _10 = Succ[_9]

  3. type _11 = Succ[_10]

  4. type _12 = Succ[_11]

  5. type _13 = Succ[_12]

  6. type _14 = Succ[_13]

  7. type _15 = Succ[_14]

  8. type _16 = Succ[_15]

  9. type _17 = Succ[_16]

  10. type _18 = Succ[_17]

  11. type _19 = Succ[_18]

  12. type _2 = Succ[_1]

  13. type _20 = Succ[_19]

  14. type _21 = Succ[_20]

  15. type _22 = Succ[_21]

  16. type _3 = Succ[_2]

  17. type _4 = Succ[_3]

  18. type _5 = Succ[_4]

  19. type _6 = Succ[_5]

  20. type _7 = Succ[_6]

  21. type _8 = Succ[_7]

  22. type _9 = Succ[_8]

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. implicit val _1: Succ[_0]

  7. implicit val _10: Succ[_9]

  8. implicit val _11: Succ[_10]

  9. implicit val _12: Succ[_11]

  10. implicit val _13: Succ[_12]

  11. implicit val _14: Succ[_13]

  12. implicit val _15: Succ[_14]

  13. implicit val _16: Succ[_15]

  14. implicit val _17: Succ[_16]

  15. implicit val _18: Succ[_17]

  16. implicit val _19: Succ[_18]

  17. implicit val _2: Succ[_1]

  18. implicit val _20: Succ[_19]

  19. implicit val _21: Succ[_20]

  20. implicit val _22: Succ[_21]

  21. implicit val _3: Succ[_2]

  22. implicit val _4: Succ[_3]

  23. implicit val _5: Succ[_4]

  24. implicit val _6: Succ[_5]

  25. implicit val _7: Succ[_6]

  26. implicit val _8: Succ[_7]

  27. implicit val _9: Succ[_8]

  28. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  29. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  30. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  31. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  32. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  33. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  34. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  35. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  36. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  37. final def notify(): Unit

    Definition Classes
    AnyRef

  38. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  39. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  40. def toString(): String

    Definition Classes
    AnyRef → Any

  41. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  42. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  43. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from AnyRef

Inherited from Any

Ungrouped