Zero

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. def *[T <: Nat](n: T): *[T]

   Multiply another Nat with this one.

   Multiply another Nat with this one.

   Definition Classes

   Nat

5. def +[T <: Nat](n: T): +[T]

   Add another Nat to this one.

   Add another Nat to this one.

   Definition Classes

   Nat

6. def ++: ++

   Increment this Nat.

   Increment this Nat.

   Definition Classes

   Nat

7. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

8. final def ==(arg0: Any): Boolean

   Definition Classes

   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. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

23. def equals(o: Any): Boolean

    Definition Classes

    Nat → AnyRef → Any

24. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

25. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

26. def hashCode(): Int

    Definition Classes

    Nat → AnyRef → Any

27. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

28. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

29. final def notify(): Unit

    Definition Classes

    AnyRef

30. final def notifyAll(): Unit

    Definition Classes

    AnyRef

31. def self: Zero.this.type

    This Nat, typed as Self.

    This Nat, typed as Self.

    Definition Classes

    Zero → Nat

32. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

33. def toString(): String

    Definition Classes

    Nat → AnyRef → Any

34. def value: Int

    The equivalent Int value for this Nat.

    The equivalent Int value for this Nat.

    Definition Classes

    Zero → Nat

35. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

36. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

37. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )