NaturalAlgebra

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. def additive: CommutativeMonoid[Natural]

   Definition Classes

   AdditiveCommutativeMonoid → AdditiveCommutativeSemigroup → AdditiveMonoid → AdditiveSemigroup

7. def and(that: Eq[Natural]): Eq[Natural]

   Definition Classes

   Eq

8. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

9. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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

    Definition Classes

    NaturalOrder → Order

11. def comparison(x: Natural, y: Natural): Comparison

    Definition Classes

    Order

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

    Definition Classes

    AnyRef

13. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

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

    Definition Classes

    NaturalOrder → Order → PartialOrder → Eq

15. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    Definition Classes

    AnyRef → Any

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

    Definition Classes

    NaturalOrder → Order → PartialOrder

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

    Definition Classes

    NaturalOrder → Order → PartialOrder

19. def hashCode(): Int

    Definition Classes

    AnyRef → Any

20. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

21. def isOne(a: Natural)(implicit ev: Eq[Natural]): Boolean

    Definition Classes

    MultiplicativeMonoid

22. def isZero(a: Natural)(implicit ev: Eq[Natural]): Boolean

    Definition Classes

    AdditiveMonoid

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

    Definition Classes

    NaturalOrder → Order → PartialOrder

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

    Definition Classes

    NaturalOrder → Order → PartialOrder

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

    Definition Classes

    Order

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

    Definition Classes

    Order

27. def multiplicative: Monoid[Natural]

    Definition Classes

    MultiplicativeMonoid → MultiplicativeSemigroup

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

    Definition Classes

    AnyRef

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

    Definition Classes

    NaturalOrder → Order → Eq

30. final def notify(): Unit

    Definition Classes

    AnyRef

31. final def notifyAll(): Unit

    Definition Classes

    AnyRef

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

    Definition Classes

    Order → PartialOrder → Eq

33. def one: Natural

    Definition Classes

    NaturalIsRig → MultiplicativeMonoid

34. def or(that: Eq[Natural]): Eq[Natural]

    Definition Classes

    Eq

35. def partialCompare(x: Natural, y: Natural): Double

    Definition Classes

    Order → PartialOrder

36. def partialComparison(x: Natural, y: Natural): Option[Comparison]

    Definition Classes

    PartialOrder

37. def plus(a: Natural, b: Natural): Natural

    Definition Classes

    NaturalIsRig → AdditiveSemigroup

38. def pmax(x: Natural, y: Natural): Option[Natural]

    Definition Classes

    PartialOrder

39. def pmin(x: Natural, y: Natural): Option[Natural]

    Definition Classes

    PartialOrder

40. def positivePow(a: Natural, n: Int): Natural

    Attributes

    protected[this]

    Definition Classes

    MultiplicativeSemigroup

41. def positiveSumN(a: Natural, n: Int): Natural

    Attributes

    protected[this]

    Definition Classes

    AdditiveSemigroup

42. def pow(a: Natural, b: Int): Natural

    Definition Classes

    NaturalIsRig → MultiplicativeMonoid → MultiplicativeSemigroup

43. def product(as: TraversableOnce[Natural]): Natural

    Definition Classes

    MultiplicativeMonoid

44. def reverse: Order[Natural]

    Definition Classes

    Order → PartialOrder

45. def sum(as: TraversableOnce[Natural]): Natural

    Definition Classes

    AdditiveMonoid

46. def sumN(a: Natural, n: Int): Natural

    Definition Classes

    AdditiveMonoid → AdditiveSemigroup

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

    Definition Classes

    AnyRef

48. def times(a: Natural, b: Natural): Natural

    Definition Classes

    NaturalIsRig → MultiplicativeSemigroup

49. def toOrdering: Ordering[Natural]

    Definition Classes

    Order

50. def toString(): String

    Definition Classes

    AnyRef → Any

51. def tryCompare(x: Natural, y: Natural): Option[Int]

    Definition Classes

    PartialOrder

52. def tryProduct(as: TraversableOnce[Natural]): Option[Natural]

    Definition Classes

    MultiplicativeMonoid → MultiplicativeSemigroup

53. def trySum(as: TraversableOnce[Natural]): Option[Natural]

    Definition Classes

    AdditiveMonoid → AdditiveSemigroup

54. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

57. def whenEqual(o: Order[Natural]): Order[Natural]

    Definition Classes

    Order

58. def zero: Natural

    Definition Classes

    NaturalIsRig → AdditiveMonoid