# Succ

### Related Doc: package heterogeneous

#### final class Succ[N <: Nat] extends Nat

A successor of another `Nat`

Source
Nat.scala
Linear Supertypes
Nat, AnyRef, Any
Ordering
1. Alphabetic
2. By inheritance
Inherited
1. Succ
2. Nat
3. AnyRef
4. Any
Implicitly
2. by StringFormat
3. by Ensuring
4. by ArrowAssoc
1. Hide All
2. Show all
Visibility
1. Public
2. All

### Type Members

1. #### type *[X <: Nat] = Nat.*.+[X]

Multiply another Nat with this one.

Multiply another Nat with this one.

Definition Classes
SuccNat
2. #### type +[X <: Nat] = Succ[N.+[X]]

Add another Nat to this one.

Add another Nat to this one.

Definition Classes
SuccNat
3. #### type ++ = Succ[Self]

Increment this Nat.

Increment this Nat.

Definition Classes
Nat

5. #### type Flip_^[X <: Nat] = Nat.Flip_^.*[X]

Definition Classes
SuccNat
6. #### 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

Implements (F^(N+1))(Z) or in other words replaces nested Succs by nested Fs

Definition Classes
SuccNat
7. #### type Self = Succ[N]

The type of this Nat object.

The type of this Nat object.

Definition Classes
SuccNat
8. #### 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
9. #### type _0 = *[_10]

Multiply this Nat by 10.

Multiply this Nat by 10.

Definition Classes
Nat
10. #### type _1 = Nat.+.+[Nat._1]

Multiply this Nat by 10, then add 1.

Multiply this Nat by 10, then add 1.

Definition Classes
Nat
11. #### type _2 = Nat.+.+[Nat._2]

Multiply this Nat by 10, then add 2.

Multiply this Nat by 10, then add 2.

Definition Classes
Nat
12. #### type _3 = Nat.+.+[Nat._3]

Multiply this Nat by 10, then add 3.

Multiply this Nat by 10, then add 3.

Definition Classes
Nat
13. #### type _4 = Nat.+.+[Nat._4]

Multiply this Nat by 10, then add 4.

Multiply this Nat by 10, then add 4.

Definition Classes
Nat
14. #### type _5 = Nat.+.+[Nat._5]

Multiply this Nat by 10, then add 5.

Multiply this Nat by 10, then add 5.

Definition Classes
Nat
15. #### type _6 = Nat.+.+[Nat._6]

Multiply this Nat by 10, then add 6.

Multiply this Nat by 10, then add 6.

Definition Classes
Nat
16. #### type _7 = Nat.+.+[Nat._7]

Multiply this Nat by 10, then add 7.

Multiply this Nat by 10, then add 7.

Definition Classes
Nat
17. #### type _8 = Nat.+.+[Nat._8]

Multiply this Nat by 10, then add 8.

Multiply this Nat by 10, then add 8.

Definition Classes
Nat
18. #### 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

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

Definition Classes
AnyRef → Any
2. #### final def ##(): Int

Definition Classes
AnyRef → Any
3. #### def *[T <: Nat](n: T): *[T]

Multiply another Nat with this one.

Multiply another Nat with this one.

Definition Classes
Nat
4. #### def +[T <: Nat](n: T): +[T]

Add another Nat to this one.

Add another Nat to this one.

Definition Classes
Nat
5. #### def ++: ++

Increment this Nat.

Increment this Nat.

Definition Classes
Nat

7. #### def ->[B](y: B): (Succ[N], B)

Implicit information
This member is added by an implicit conversion from Succ[N] to ArrowAssoc[Succ[N]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
8. #### final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
9. #### 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
10. #### def _0: _0

Multiply this Nat by 10.

Multiply this Nat by 10.

Definition Classes
Nat
11. #### def _1: _1

Multiply this Nat by 10, then add 1.

Multiply this Nat by 10, then add 1.

Definition Classes
Nat
12. #### def _2: _2

Multiply this Nat by 10, then add 2.

Multiply this Nat by 10, then add 2.

Definition Classes
Nat
13. #### def _3: _3

Multiply this Nat by 10, then add 3.

Multiply this Nat by 10, then add 3.

Definition Classes
Nat
14. #### def _4: _4

Multiply this Nat by 10, then add 4.

Multiply this Nat by 10, then add 4.

Definition Classes
Nat
15. #### def _5: _5

Multiply this Nat by 10, then add 5.

Multiply this Nat by 10, then add 5.

Definition Classes
Nat
16. #### def _6: _6

Multiply this Nat by 10, then add 6.

Multiply this Nat by 10, then add 6.

Definition Classes
Nat
17. #### def _7: _7

Multiply this Nat by 10, then add 7.

Multiply this Nat by 10, then add 7.

Definition Classes
Nat
18. #### def _8: _8

Multiply this Nat by 10, then add 8.

Multiply this Nat by 10, then add 8.

Definition Classes
Nat
19. #### def _9: _9

Multiply this Nat by 10, then add 9.

Multiply this Nat by 10, then add 9.

Definition Classes
Nat
20. #### final def asInstanceOf[T0]: T0

Definition Classes
Any
21. #### def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
22. #### def ensuring(cond: (Succ[N]) ⇒ Boolean, msg: ⇒ Any): Succ[N]

Implicit information
This member is added by an implicit conversion from Succ[N] to Ensuring[Succ[N]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
23. #### def ensuring(cond: (Succ[N]) ⇒ Boolean): Succ[N]

Implicit information
This member is added by an implicit conversion from Succ[N] to Ensuring[Succ[N]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
24. #### def ensuring(cond: Boolean, msg: ⇒ Any): Succ[N]

Implicit information
This member is added by an implicit conversion from Succ[N] to Ensuring[Succ[N]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
25. #### def ensuring(cond: Boolean): Succ[N]

Implicit information
This member is added by an implicit conversion from Succ[N] to Ensuring[Succ[N]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
26. #### final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
27. #### def equals(o: Any): Boolean

Definition Classes
Nat → AnyRef → Any
28. #### def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
29. #### def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from Succ[N] to StringFormat[Succ[N]] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
30. #### final def getClass(): Class[_]

Definition Classes
AnyRef → Any
31. #### def hashCode(): Int

Definition Classes
Nat → AnyRef → Any
32. #### final def isInstanceOf[T0]: Boolean

Definition Classes
Any
33. #### final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
34. #### final def notify(): Unit

Definition Classes
AnyRef
35. #### final def notifyAll(): Unit

Definition Classes
AnyRef
36. #### def self: Succ[N]

This Nat, typed as Self.

This Nat, typed as Self.

Definition Classes
SuccNat
37. #### final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
38. #### def toString(): String

Definition Classes
Nat → AnyRef → Any
39. #### val value: Int

The equivalent Int value for this Nat.

The equivalent Int value for this Nat.

Definition Classes
SuccNat
40. #### final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
41. #### final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
42. #### final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
43. #### def →[B](y: B): (Succ[N], B)

Implicit information
This member is added by an implicit conversion from Succ[N] to ArrowAssoc[Succ[N]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

1. #### def +(other: String): String

Implicit information
This member is added by an implicit conversion from Succ[N] to any2stringadd[Succ[N]] performed by method any2stringadd in scala.Predef.
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