 # Zero

### Related Doc: package heterogeneous

#### object Zero extends Nat

The zero value and type for `Nat`

Source
Nat.scala
Linear Supertypes
Nat, AnyRef, Any
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. Zero
2. Nat
3. AnyRef
4. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### Type Members

1. #### type *[_ <: Nat] = Zero.type

Multiply another Nat with this one.

Multiply another Nat with this one.

Definition Classes
ZeroNat
2. #### type +[X <: Nat] = X

Add another Nat to this one.

Add another Nat to this one.

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

Increment this Nat.

Increment this Nat.

Definition Classes
Nat
4. #### type Flip_^[_ <: Nat] = Succ[Self]

Definition Classes
ZeroNat
5. #### type Fold[U, F[_ <: U] <: U, Z <: U] = Z

The type of a folding operation on this Nat.

The type of a folding operation on this Nat.

Definition Classes
ZeroNat
6. #### type Self = Zero.type

The type of this Nat object.

The type of this Nat object.

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

Multiply this Nat by 10.

Multiply this Nat by 10.

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

Multiply this Nat by 10, then add 1.

Multiply this Nat by 10, then add 1.

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

Multiply this Nat by 10, then add 2.

Multiply this Nat by 10, then add 2.

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

Multiply this Nat by 10, then add 3.

Multiply this Nat by 10, then add 3.

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

Multiply this Nat by 10, then add 4.

Multiply this Nat by 10, then add 4.

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

Multiply this Nat by 10, then add 5.

Multiply this Nat by 10, then add 5.

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

Multiply this Nat by 10, then add 6.

Multiply this Nat by 10, then add 6.

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

Multiply this Nat by 10, then add 7.

Multiply this Nat by 10, then add 7.

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

Multiply this Nat by 10, then add 8.

Multiply this Nat by 10, then add 8.

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

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
6. #### final def ==(arg0: Any): Boolean

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

Multiply this Nat by 10.

Multiply this Nat by 10.

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

Multiply this Nat by 10, then add 1.

Multiply this Nat by 10, then add 1.

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

Multiply this Nat by 10, then add 2.

Multiply this Nat by 10, then add 2.

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

Multiply this Nat by 10, then add 3.

Multiply this Nat by 10, then add 3.

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

Multiply this Nat by 10, then add 4.

Multiply this Nat by 10, then add 4.

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

Multiply this Nat by 10, then add 5.

Multiply this Nat by 10, then add 5.

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

Multiply this Nat by 10, then add 6.

Multiply this Nat by 10, then add 6.

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

Multiply this Nat by 10, then add 7.

Multiply this Nat by 10, then add 7.

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

Multiply this Nat by 10, then add 8.

Multiply this Nat by 10, then add 8.

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

Multiply this Nat by 10, then add 9.

Multiply this Nat by 10, then add 9.

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

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

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
20. #### final def eq(arg0: AnyRef): Boolean

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

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

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
23. #### final def getClass(): Class[_]

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

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

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

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

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

Definition Classes
AnyRef
29. #### def self: Zero.this.type

This Nat, typed as Self.

This Nat, typed as Self.

Definition Classes
ZeroNat
30. #### final def synchronized[T0](arg0: ⇒ T0): T0

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

Definition Classes
Nat → AnyRef → Any
32. #### def value: Int

The equivalent Int value for this Nat.

The equivalent Int value for this Nat.

Definition Classes
ZeroNat
33. #### final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )