Zero

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

    Zero → Nat

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

    Zero → Nat

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( ... )