Packages

object Nat

Source
Nat.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Nat
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. type _0 = Zero.type

    The cached Nat type for 0.

  2. type _1 = Succ[Self]

    The cached Nat type for 1.

  3. type _10 = Succ[Succ[Succ[Succ[Succ[Succ[Succ[Succ[Succ[Succ[Zero.type]]]]]]]]]]

    The cached Nat type for 10.

  4. type _2 = Succ[Succ[Zero.type]]

    The cached Nat type for 2.

  5. type _3 = Succ[Succ[Succ[Zero.type]]]

    The cached Nat type for 3.

  6. type _4 = Succ[Succ[Succ[Succ[Zero.type]]]]

    The cached Nat type for 4.

  7. type _5 = Succ[Succ[Succ[Succ[Succ[Zero.type]]]]]

    The cached Nat type for 5.

  8. type _6 = Succ[Succ[Succ[Succ[Succ[Succ[Zero.type]]]]]]

    The cached Nat type for 6.

  9. type _7 = Succ[Succ[Succ[Succ[Succ[Succ[Succ[Zero.type]]]]]]]

    The cached Nat type for 7.

  10. type _8 = Succ[Succ[Succ[Succ[Succ[Succ[Succ[Succ[Zero.type]]]]]]]]

    The cached Nat type for 8.

  11. type _9 = Succ[Succ[Succ[Succ[Succ[Succ[Succ[Succ[Succ[Zero.type]]]]]]]]]

    The cached Nat type for 9.

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. val _0: _0

    The cached Nat value for 0.

  5. val _1: _1

    The cached Nat value for 1.

  6. val _10: _10

    The cached Nat value for 10.

  7. val _2: _2

    The cached Nat value for 2.

  8. val _3: _3

    The cached Nat value for 3.

  9. val _4: _4

    The cached Nat value for 4.

  10. val _5: _5

    The cached Nat value for 5.

  11. val _6: _6

    The cached Nat value for 6.

  12. val _7: _7

    The cached Nat value for 7.

  13. val _8: _8

    The cached Nat value for 8.

  14. val _9: _9

    The cached Nat value for 9.

  15. def _unsafe[T <: Nat](value: Int): T
  16. macro def apply(i: Int): Nat

    Get a Nat for an Int.

    Get a Nat for an Int. If the Int is a literal, the Nat will have the proper type, otherwise only the supertype Nat.

  17. def applyImpl(ctx: Context)(i: scala.reflect.macros.whitebox.Context.Expr[Int]): scala.reflect.macros.whitebox.Context.Expr[Nat]
  18. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  19. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  20. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  22. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  23. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  24. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  25. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  27. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  28. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  29. def toString(): String
    Definition Classes
    AnyRef → Any
  30. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  31. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  32. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from AnyRef

Inherited from Any

Ungrouped