NaturalOrder

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

   Definition Classes

   AnyRef

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

   Definition Classes

   Any

6. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

7. def clone(): AnyRef

   Attributes

   protected[lang]

   Definition Classes

   AnyRef

   Annotations

   @throws()

8. def compare(x: Natural, y: Natural): Int

   Definition Classes

   NaturalOrder → Order

9. final def eq(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

10. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

11. def eqv(x: Natural, y: Natural): Boolean

    Definition Classes

    NaturalEq → Eq

12. def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

13. final def getClass(): java.lang.Class[_]

    Definition Classes

    AnyRef → Any

14. def gt(x: Natural, y: Natural): Boolean

    Definition Classes

    NaturalOrder → Order

15. def gteqv(x: Natural, y: Natural): Boolean

    Definition Classes

    NaturalOrder → Order

16. def hashCode(): Int

    Definition Classes

    AnyRef → Any

17. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

18. def lt(x: Natural, y: Natural): Boolean

    Definition Classes

    NaturalOrder → Order

19. def lteqv(x: Natural, y: Natural): Boolean

    Definition Classes

    NaturalOrder → Order

20. def max(x: Natural, y: Natural): Natural

    Definition Classes

    Order

21. def min(x: Natural, y: Natural): Natural

    Definition Classes

    Order

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

    Definition Classes

    AnyRef

23. def neqv(x: Natural, y: Natural): Boolean

    Definition Classes

    NaturalEq → Eq

24. final def notify(): Unit

    Definition Classes

    AnyRef

25. final def notifyAll(): Unit

    Definition Classes

    AnyRef

26. def on[B](f: (B) ⇒ Natural): Order[B]

    Definition Classes

    Order → Eq

27. def reverse: Order[Natural]

    Definition Classes

    Order

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

    Definition Classes

    AnyRef

29. def toString(): String

    Definition Classes

    AnyRef → Any

30. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Definition Classes

    AnyRef

    Annotations

    @throws()