Object/Class

slick.collection.heterogeneous

Nat

Related Docs: class Nat | package heterogeneous

Permalink

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. All

Type Members

  1. type _0 = Zero.type

    Permalink

    The cached Nat type for 0.

  2. type _1 = Succ[Self]

    Permalink

    The cached Nat type for 1.

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

    Permalink

    The cached Nat type for 10.

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

    Permalink

    The cached Nat type for 2.

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

    Permalink

    The cached Nat type for 3.

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

    Permalink

    The cached Nat type for 4.

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

    Permalink

    The cached Nat type for 5.

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

    Permalink

    The cached Nat type for 6.

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

    Permalink

    The cached Nat type for 7.

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

    Permalink

    The cached Nat type for 8.

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

    Permalink

    The cached Nat type for 9.

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    AnyRef → Any

  4. val _0: _0

    Permalink

    The cached Nat value for 0.

  5. val _1: _1

    Permalink

    The cached Nat value for 1.

  6. val _10: _10

    Permalink

    The cached Nat value for 10.

  7. val _2: _2

    Permalink

    The cached Nat value for 2.

  8. val _3: _3

    Permalink

    The cached Nat value for 3.

  9. val _4: _4

    Permalink

    The cached Nat value for 4.

  10. val _5: _5

    Permalink

    The cached Nat value for 5.

  11. val _6: _6

    Permalink

    The cached Nat value for 6.

  12. val _7: _7

    Permalink

    The cached Nat value for 7.

  13. val _8: _8

    Permalink

    The cached Nat value for 8.

  14. val _9: _9

    Permalink

    The cached Nat value for 9.

  15. def _unsafe[T <: Nat](value: Int): T

    Permalink

  16. macro def apply(i: Int): Nat

    Permalink

    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]

    Permalink

  18. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  19. def clone(): AnyRef

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

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

    Permalink
    Definition Classes
    AnyRef

  21. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  22. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  24. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  25. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    AnyRef

  27. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  28. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    AnyRef

  30. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  31. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped