NaturalAlgebra

Value Members

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

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

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

   

   Definition Classes

   AnyRef → Any

4. 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

5. def additive: Monoid[Natural]

   

   Definition Classes

   AdditiveMonoid → AdditiveSemigroup

6. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

7. def ceil(a: Natural): Natural

   

   Definition Classes

   IsIntegral → IsReal

8. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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

   

   Definition Classes

   NaturalOrder → Order

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

    

    Definition Classes

    AnyRef

11. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

12. 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 → PartialOrder → Eq

13. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

14. def floor(a: Natural): Natural

    

    Definition Classes

    IsIntegral → IsReal

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

    

    Definition Classes

    AnyRef → Any

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

    

    Definition Classes

    NaturalOrder → Order → PartialOrder

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

    

    Definition Classes

    NaturalOrder → Order → PartialOrder

18. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

19. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

20. def isWhole(a: Natural): Boolean

    

    Definition Classes

    IsIntegral → IsReal

21. def isZero(a: Natural): Boolean

    

    Definition Classes

    Signed

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

    

    Definition Classes

    NaturalOrder → Order → PartialOrder

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

    

    Definition Classes

    NaturalOrder → Order → PartialOrder

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

    

    Definition Classes

    Order

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

    

    Definition Classes

    Order

26. def multiplicative: Monoid[Natural]

    

    Definition Classes

    MultiplicativeMonoid → MultiplicativeSemigroup

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

    

    Definition Classes

    AnyRef

28. 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

29. final def notify(): Unit

    

    Definition Classes

    AnyRef

30. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

31. 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 → PartialOrder → Eq

32. def one: Natural

    

    Definition Classes

    NaturalIsRig → MultiplicativeMonoid

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

    

    Result of comparing x with y.

    Result of comparing x with y. Returns NaN if operands are not comparable. If operands are comparable, returns a Double whose sign is: - negative iff x < y - zero iff x === y - positive iff x > y

    Definition Classes

    Order → PartialOrder

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

    

    Definition Classes

    NaturalIsRig → AdditiveSemigroup

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

    

    Returns Some(x) if x >= y, Some(y) if x < y, otherwise None.

    Returns Some(x) if x >= y, Some(y) if x < y, otherwise None.

    Definition Classes

    PartialOrder

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

    

    Returns Some(x) if x <= y, Some(y) if x > y, otherwise None.

    Returns Some(x) if x <= y, Some(y) if x > y, otherwise None.

    Definition Classes

    PartialOrder

37. 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

38. 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 → PartialOrder

39. def round(a: Natural): Natural

    

    Definition Classes

    IsIntegral → IsReal

40. 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

41. 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

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

    

    Definition Classes

    AnyRef

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

    

    Definition Classes

    NaturalIsRig → MultiplicativeSemigroup

44. def toDouble(n: Natural): Double

    

    Definition Classes

    NaturalIsReal → IsReal

45. def toString(): String

    

    Definition Classes

    AnyRef → Any

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

    

    Result of comparing x with y.

    Result of comparing x with y. Returns None if operands are not comparable. If operands are comparable, returns Some[Int] where the Int sign is: - negative iff x < y - zero iff x == y - positive iff x > y

    Definition Classes

    PartialOrder

47. def tryGt(x: Natural, y: Natural): Option[Boolean]

    

    Definition Classes

    PartialOrder

48. def tryGteqv(x: Natural, y: Natural): Option[Boolean]

    

    Definition Classes

    PartialOrder

49. def tryLt(x: Natural, y: Natural): Option[Boolean]

    

    Definition Classes

    PartialOrder

50. def tryLteqv(x: Natural, y: Natural): Option[Boolean]

    

    Definition Classes

    PartialOrder

51. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

54. def zero: Natural

    

    Definition Classes

    NaturalIsRig → AdditiveMonoid