final class Succ[N <: Nat] extends Nat
- Alphabetic
- By Inheritance
- Succ
- Nat
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- Protected
Type Members
- type *[X <: Nat] = Nat.*.+[X]
Multiply another Nat with this one.
- type +[X <: Nat] = Succ[N.+[X]]
Add another Nat to this one.
- type ++ = Succ[Self]
Increment this Nat.
Increment this Nat.
- Definition Classes
- Nat
- type -- = N
- type Flip_^[X <: Nat] = Nat.Flip_^.*[X]
- type Fold[U, F[_ <: U] <: U, Z <: U] = F[N.Fold[U, F, Z]]
Implements (F^(N+1))(Z) or in other words replaces nested Succs by nested Fs
- type Self = Succ[N]
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.+.+[Nat._1]
Multiply this Nat by 10, then add 1.
Multiply this Nat by 10, then add 1.
- Definition Classes
- Nat
- type _2 = Nat.+.+[Nat._2]
Multiply this Nat by 10, then add 2.
Multiply this Nat by 10, then add 2.
- Definition Classes
- Nat
- type _3 = Nat.+.+[Nat._3]
Multiply this Nat by 10, then add 3.
Multiply this Nat by 10, then add 3.
- Definition Classes
- Nat
- type _4 = Nat.+.+[Nat._4]
Multiply this Nat by 10, then add 4.
Multiply this Nat by 10, then add 4.
- Definition Classes
- Nat
- type _5 = Nat.+.+[Nat._5]
Multiply this Nat by 10, then add 5.
Multiply this Nat by 10, then add 5.
- Definition Classes
- Nat
- type _6 = Nat.+.+[Nat._6]
Multiply this Nat by 10, then add 6.
Multiply this Nat by 10, then add 6.
- Definition Classes
- Nat
- type _7 = Nat.+.+[Nat._7]
Multiply this Nat by 10, then add 7.
Multiply this Nat by 10, then add 7.
- Definition Classes
- Nat
- type _8 = Nat.+.+[Nat._8]
Multiply this Nat by 10, then add 8.
Multiply this Nat by 10, then add 8.
- Definition Classes
- Nat
- type _9 = Nat.+.+[Nat._9]
Multiply this Nat by 10, then add 9.
Multiply this Nat by 10, then add 9.
- Definition Classes
- Nat
Value Members
- 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
- def --: --
- 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
- def equals(o: Any): Boolean
- Definition Classes
- Nat → AnyRef → Any
- def hashCode(): Int
- Definition Classes
- Nat → AnyRef → Any
- def self: Succ[N]
This Nat, typed as Self.
- def toString(): String
- Definition Classes
- Nat → AnyRef → Any
- val value: Int
The equivalent Int value for this Nat.
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...