object Zero extends Nat
- Alphabetic
- By Inheritance
- Zero
- Nat
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- type *[_ <: Nat] = Zero.type
Multiply another Nat with this one.
- type +[X <: Nat] = X
Add another Nat to this one.
- type ++ = Succ[Self]
Increment this Nat.
Increment this Nat.
- Definition Classes
- Nat
- type Flip_^[_ <: Nat] = Succ[Self]
- type Fold[U, F[_ <: U] <: U, Z <: U] = Z
The type of a folding operation on this Nat.
- type Self = Zero.type
The type of this Nat object.
- type ^[T <: Nat] = Nat.^.T.Flip_^[Self]
Raise this Nat to the exponent given by another Nat.
Raise this Nat to the exponent given by another Nat.
- Definition Classes
- Nat
- type _0 = *[_10]
Multiply this Nat by 10.
Multiply this Nat by 10.
- Definition Classes
- Nat
- type _1 = +[Nat._1]
Multiply this Nat by 10, then add 1.
Multiply this Nat by 10, then add 1.
- Definition Classes
- Nat
- type _2 = +[Nat._2]
Multiply this Nat by 10, then add 2.
Multiply this Nat by 10, then add 2.
- Definition Classes
- Nat
- type _3 = +[Nat._3]
Multiply this Nat by 10, then add 3.
Multiply this Nat by 10, then add 3.
- Definition Classes
- Nat
- type _4 = +[Nat._4]
Multiply this Nat by 10, then add 4.
Multiply this Nat by 10, then add 4.
- Definition Classes
- Nat
- type _5 = +[Nat._5]
Multiply this Nat by 10, then add 5.
Multiply this Nat by 10, then add 5.
- Definition Classes
- Nat
- type _6 = +[Nat._6]
Multiply this Nat by 10, then add 6.
Multiply this Nat by 10, then add 6.
- Definition Classes
- Nat
- type _7 = +[Nat._7]
Multiply this Nat by 10, then add 7.
Multiply this Nat by 10, then add 7.
- Definition Classes
- Nat
- type _8 = +[Nat._8]
Multiply this Nat by 10, then add 8.
Multiply this Nat by 10, then add 8.
- Definition Classes
- Nat
- type _9 = +[Nat._9]
Multiply this Nat by 10, then add 9.
Multiply this Nat by 10, then add 9.
- Definition Classes
- Nat
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def *[T <: Nat](n: T): *[T]
Multiply another Nat with this one.
Multiply another Nat with this one.
- Definition Classes
- Nat
- def +[T <: Nat](n: T): +[T]
Add another Nat to this one.
Add another Nat to this one.
- Definition Classes
- Nat
- def ++: ++
Increment this Nat.
Increment this Nat.
- Definition Classes
- Nat
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def ^[T <: Nat](n: T): ^[T]
Raise this Nat to the exponent given by another Nat.
Raise this Nat to the exponent given by another Nat.
- Definition Classes
- Nat
- def _0: _0
Multiply this Nat by 10.
Multiply this Nat by 10.
- Definition Classes
- Nat
- def _1: _1
Multiply this Nat by 10, then add 1.
Multiply this Nat by 10, then add 1.
- Definition Classes
- Nat
- def _2: _2
Multiply this Nat by 10, then add 2.
Multiply this Nat by 10, then add 2.
- Definition Classes
- Nat
- def _3: _3
Multiply this Nat by 10, then add 3.
Multiply this Nat by 10, then add 3.
- Definition Classes
- Nat
- def _4: _4
Multiply this Nat by 10, then add 4.
Multiply this Nat by 10, then add 4.
- Definition Classes
- Nat
- def _5: _5
Multiply this Nat by 10, then add 5.
Multiply this Nat by 10, then add 5.
- Definition Classes
- Nat
- def _6: _6
Multiply this Nat by 10, then add 6.
Multiply this Nat by 10, then add 6.
- Definition Classes
- Nat
- def _7: _7
Multiply this Nat by 10, then add 7.
Multiply this Nat by 10, then add 7.
- Definition Classes
- Nat
- def _8: _8
Multiply this Nat by 10, then add 8.
Multiply this Nat by 10, then add 8.
- Definition Classes
- Nat
- def _9: _9
Multiply this Nat by 10, then add 9.
Multiply this Nat by 10, then add 9.
- Definition Classes
- Nat
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(o: Any): Boolean
- Definition Classes
- Nat → AnyRef → Any
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def hashCode(): Int
- Definition Classes
- Nat → AnyRef → Any
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def self: Zero
This Nat, typed as Self.
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- Nat → AnyRef → Any
- def value: Int
The equivalent Int value for this Nat.
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated
edit this text on github
Scala Language-Integrated Connection Kit
This is the API documentation for the Slick database library. It should be used as an additional resource to the user manual.
Further documentation for Slick can be found on the documentation pages.
To the slick package list...