shapeless

Nat

object Nat extends Nats

Type level encoding of the natural numbers.

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

Type Members

  1. type _0 = shapeless._0

    The natural number 0

  2. type _1 = Succ[shapeless._0]

    Definition Classes
    Nats

  3. type _10 = Succ[_9]

    Definition Classes
    Nats

  4. type _11 = Succ[_10]

    Definition Classes
    Nats

  5. type _12 = Succ[_11]

    Definition Classes
    Nats

  6. type _13 = Succ[_12]

    Definition Classes
    Nats

  7. type _14 = Succ[_13]

    Definition Classes
    Nats

  8. type _15 = Succ[_14]

    Definition Classes
    Nats

  9. type _16 = Succ[_15]

    Definition Classes
    Nats

  10. type _17 = Succ[_16]

    Definition Classes
    Nats

  11. type _18 = Succ[_17]

    Definition Classes
    Nats

  12. type _19 = Succ[_18]

    Definition Classes
    Nats

  13. type _2 = Succ[_1]

    Definition Classes
    Nats

  14. type _20 = Succ[_19]

    Definition Classes
    Nats

  15. type _21 = Succ[_20]

    Definition Classes
    Nats

  16. type _22 = Succ[_21]

    Definition Classes
    Nats

  17. type _3 = Succ[_2]

    Definition Classes
    Nats

  18. type _4 = Succ[_3]

    Definition Classes
    Nats

  19. type _5 = Succ[_4]

    Definition Classes
    Nats

  20. type _6 = Succ[_5]

    Definition Classes
    Nats

  21. type _7 = Succ[_6]

    Definition Classes
    Nats

  22. type _8 = Succ[_7]

    Definition Classes
    Nats

  23. type _9 = Succ[_8]

    Definition Classes
    Nats

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. val _0: _0

  7. val _1: _1

    Definition Classes
    Nats

  8. val _10: _10

    Definition Classes
    Nats

  9. val _11: _11

    Definition Classes
    Nats

  10. val _12: _12

    Definition Classes
    Nats

  11. val _13: _13

    Definition Classes
    Nats

  12. val _14: _14

    Definition Classes
    Nats

  13. val _15: _15

    Definition Classes
    Nats

  14. val _16: _16

    Definition Classes
    Nats

  15. val _17: _17

    Definition Classes
    Nats

  16. val _18: _18

    Definition Classes
    Nats

  17. val _19: _19

    Definition Classes
    Nats

  18. val _2: _2

    Definition Classes
    Nats

  19. val _20: _20

    Definition Classes
    Nats

  20. val _21: _21

    Definition Classes
    Nats

  21. val _22: _22

    Definition Classes
    Nats

  22. val _3: _3

    Definition Classes
    Nats

  23. val _4: _4

    Definition Classes
    Nats

  24. val _5: _5

    Definition Classes
    Nats

  25. val _6: _6

    Definition Classes
    Nats

  26. val _7: _7

    Definition Classes
    Nats

  27. val _8: _8

    Definition Classes
    Nats

  28. val _9: _9

    Definition Classes
    Nats

  29. def apply(i: Int): Nat

    Annotations
    @macroImpl( ... )

  30. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  31. def clone(): AnyRef

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

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

    Definition Classes
    AnyRef

  33. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  34. def finalize(): Unit

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

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

    Definition Classes
    AnyRef → Any

  36. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  37. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  38. implicit def materialize(i: Int): Nat

    Annotations
    @macroImpl( ... )

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

    Definition Classes
    AnyRef

  40. final def notify(): Unit

    Definition Classes
    AnyRef

  41. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

    Definition Classes
    AnyRef

  43. def toInt(n: Nat)(implicit toIntN: ToInt[N]): Int

  44. def toInt[N <: Nat](implicit toIntN: ToInt[N]): Int

  45. def toString(): String

    Definition Classes
    AnyRef → Any

  46. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Nats

Inherited from AnyRef

Inherited from Any

Ungrouped