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
- 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
- def --: --
- def ->[B](y: B): (Succ[N], B)
- 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()
- def ensuring(cond: (Succ[N]) => Boolean, msg: => Any): Succ[N]
- def ensuring(cond: (Succ[N]) => Boolean): Succ[N]
- def ensuring(cond: Boolean, msg: => Any): Succ[N]
- def ensuring(cond: Boolean): Succ[N]
- 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: Succ[N]
This Nat, typed as Self.
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- Nat → AnyRef → Any
- val 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])
Shadowed Implicit Value Members
- def +(other: String): String
- Implicit
- This member is added by an implicit conversion from Succ[N] toany2stringadd[Succ[N]] performed by method any2stringadd in scala.Predef.
- Shadowing
- This implicitly inherited member is shadowed by one or more members in this class.
To access this member you can use a type ascription:(succ: any2stringadd[Succ[N]]).+(other)
- Definition Classes
- any2stringadd
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated
- def formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from Succ[N] toStringFormat[Succ[N]] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @deprecated @inline()
- Deprecated
(Since version 2.12.16) Use
formatString.format(value)instead ofvalue.formatted(formatString), or use thef""string interpolator. In Java 15 and later,formattedresolves to the new method in String which has reversed parameters.
- def →[B](y: B): (Succ[N], B)
- Implicit
- This member is added by an implicit conversion from Succ[N] toArrowAssoc[Succ[N]] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @deprecated
- Deprecated
(Since version 2.13.0) Use
->instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.
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...