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 abs(a: Natural): Natural

   An idempotent function that ensures an object has a non-negative sign.

   An idempotent function that ensures an object has a non-negative sign.

   Definition Classes

   NaturalIsSigned → Signed

7. def additive: Monoid[Natural]

   Definition Classes

   AdditiveMonoid → AdditiveSemigroup

8. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

9. def ceil(a: Natural): Natural

   Definition Classes

   IsIntegral → IsReal

10. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    NaturalOrder → 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

    Returns true if x and y are equivalent, false otherwise.

    Returns true if x and y are equivalent, false otherwise.

    Definition Classes

    NaturalOrder → Order → Eq

15. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

16. def floor(a: Natural): Natural

    Definition Classes

    IsIntegral → IsReal

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

    Definition Classes

    AnyRef → Any

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

    Definition Classes

    NaturalOrder → Order

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

    Definition Classes

    NaturalOrder → Order

20. def hashCode(): Int

    Definition Classes

    AnyRef → Any

21. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

22. def isWhole(a: Natural): Boolean

    Definition Classes

    IsIntegral → IsReal

23. def isZero(a: Natural): Boolean

    Definition Classes

    Signed

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

    Definition Classes

    NaturalOrder → Order

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

    Definition Classes

    NaturalOrder → Order

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

    Definition Classes

    Order

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

    Definition Classes

    Order

28. def multiplicative: Monoid[Natural]

    Definition Classes

    MultiplicativeMonoid → MultiplicativeSemigroup

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

    Definition Classes

    AnyRef

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

    Returns false if x and y are equivalent, true otherwise.

    Returns false if x and y are equivalent, true otherwise.

    Definition Classes

    NaturalOrder → Eq

31. final def notify(): Unit

    Definition Classes

    AnyRef

32. final def notifyAll(): Unit

    Definition Classes

    AnyRef

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

    Defines an order on B by mapping B to A using f and using As order to order B.

    Defines an order on B by mapping B to A using f and using As order to order B.

    Definition Classes

    Order → Eq

34. def one: Natural

    Definition Classes

    NaturalIsRig → MultiplicativeMonoid

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

    Definition Classes

    NaturalIsRig → AdditiveSemigroup

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

    This is similar to Semigroup#pow, except that a pow 0 is defined to be the multiplicative identity.

    This is similar to Semigroup#pow, except that a pow 0 is defined to be the multiplicative identity.

    Definition Classes

    NaturalIsRig → Rig → Semiring

37. def reverse: Order[Natural]

    Defines an ordering on A where all arrows switch direction.

    Defines an ordering on A where all arrows switch direction.

    Definition Classes

    Order

38. def round(a: Natural): Natural

    Definition Classes

    IsIntegral → IsReal

39. def sign(a: Natural): Sign

    Returns Zero if a is 0, Positive if a is positive, and Negative is a is negative.

    Returns Zero if a is 0, Positive if a is positive, and Negative is a is negative.

    Definition Classes

    Signed

40. def signum(a: Natural): Int

    Returns 0 if a is 0, > 0 if a is positive, and < 0 is a is negative.

    Returns 0 if a is 0, > 0 if a is positive, and < 0 is a is negative.

    Definition Classes

    NaturalIsSigned → Signed

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

    Definition Classes

    AnyRef

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

    Definition Classes

    NaturalIsRig → MultiplicativeSemigroup

43. def toDouble(n: Natural): Double

    Definition Classes

    NaturalIsReal → IsReal

44. def toString(): String

    Definition Classes

    AnyRef → Any

45. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

48. def zero: Natural

    Definition Classes

    NaturalIsRig → AdditiveMonoid