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

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

    

    Definition Classes

    NaturalOrder → Order

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

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

    

    Definition Classes

    NaturalOrder → Order

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

32. def one: Natural

    

    Definition Classes

    NaturalIsRig → MultiplicativeMonoid

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

    

    Definition Classes

    NaturalIsRig → AdditiveSemigroup

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

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

36. def round(a: Natural): Natural

    

    Definition Classes

    IsIntegral → IsReal

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

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

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

    

    Definition Classes

    AnyRef

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

    

    Definition Classes

    NaturalIsRig → MultiplicativeSemigroup

41. def toDouble(n: Natural): Double

    

    Definition Classes

    NaturalIsReal → IsReal

42. def toString(): String

    

    Definition Classes

    AnyRef → Any

43. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

46. def zero: Natural

    

    Definition Classes

    NaturalIsRig → AdditiveMonoid