algebra.std

FloatAlgebra

class FloatAlgebra extends ring.Field[Float] with NRoot[Float] with Order[Float] with Signed[Float] with IsReal[Float] with Serializable

Due to the way floating-point equality works, this instance is not lawful under equality, but is correct when taken as an approximation of an exact value.

If you would prefer an absolutely lawful fractional value, you'll need to investigate rational numbers or more exotic types.

Linear Supertypes
IsReal[Float], Signed[Float], Order[Float], PartialOrder[Float], Eq[Float], NRoot[Float], ring.Field[Float], MultiplicativeCommutativeGroup[Float], MultiplicativeGroup[Float], EuclideanRing[Float], CommutativeRing[Float], CommutativeRig[Float], MultiplicativeCommutativeMonoid[Float], MultiplicativeCommutativeSemigroup[Float], ring.Ring[Float], Rng[Float], AdditiveCommutativeGroup[Float], AdditiveGroup[Float], Rig[Float], MultiplicativeMonoid[Float], Semiring[Float], MultiplicativeSemigroup[Float], AdditiveCommutativeMonoid[Float], AdditiveCommutativeSemigroup[Float], AdditiveMonoid[Float], AdditiveSemigroup[Float], Serializable, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. FloatAlgebra
  2. IsReal
  3. Signed
  4. Order
  5. PartialOrder
  6. Eq
  7. NRoot
  8. Field
  9. MultiplicativeCommutativeGroup
  10. MultiplicativeGroup
  11. EuclideanRing
  12. CommutativeRing
  13. CommutativeRig
  14. MultiplicativeCommutativeMonoid
  15. MultiplicativeCommutativeSemigroup
  16. Ring
  17. Rng
  18. AdditiveCommutativeGroup
  19. AdditiveGroup
  20. Rig
  21. MultiplicativeMonoid
  22. Semiring
  23. MultiplicativeSemigroup
  24. AdditiveCommutativeMonoid
  25. AdditiveCommutativeSemigroup
  26. AdditiveMonoid
  27. AdditiveSemigroup
  28. Serializable
  29. Serializable
  30. AnyRef
  31. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new FloatAlgebra()

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(x: Float): Float

    Definition Classes
    FloatAlgebra → Signed
  7. def additive: CommutativeGroup[Float]

    Definition Classes
    AdditiveCommutativeGroup → AdditiveCommutativeMonoid → AdditiveCommutativeSemigroup → AdditiveGroup → AdditiveMonoid → AdditiveSemigroup
  8. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  9. def ceil(x: Float): Float

    Definition Classes
    FloatAlgebra → IsReal
  10. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  11. def compare(x: Float, y: Float): Int

    Definition Classes
    FloatAlgebra → Order
  12. def div(x: Float, y: Float): Float

    Definition Classes
    FloatAlgebra → MultiplicativeGroup
  13. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  14. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  15. def eqv(x: Float, y: Float): Boolean

    Definition Classes
    FloatAlgebra → Order → PartialOrder → Eq
  16. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  17. def floor(x: Float): Float

    Definition Classes
    FloatAlgebra → IsReal
  18. def fpow(x: Float, y: Float): Float

    Definition Classes
    FloatAlgebra → NRoot
  19. def fromDouble(x: Double): Float

    Definition Classes
    FloatAlgebra → Field
  20. def fromInt(x: Int): Float

    Definition Classes
    FloatAlgebra → Ring
  21. def gcd(x: Float, y: Float): Float

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

    Definition Classes
    AnyRef → Any
  23. def gt(x: Float, y: Float): Boolean

    Definition Classes
    FloatAlgebra → Order → PartialOrder
  24. def gteqv(x: Float, y: Float): Boolean

    Definition Classes
    FloatAlgebra → Order → PartialOrder
  25. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  26. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  27. def isOne(a: Float)(implicit ev: Eq[Float]): Boolean

    Definition Classes
    MultiplicativeMonoid
  28. def isSignNegative(a: Float): Boolean

    Definition Classes
    Signed
  29. def isSignNonNegative(a: Float): Boolean

    Definition Classes
    Signed
  30. def isSignNonPositive(a: Float): Boolean

    Definition Classes
    Signed
  31. def isSignNonZero(a: Float): Boolean

    Definition Classes
    Signed
  32. def isSignPositive(a: Float): Boolean

    Definition Classes
    Signed
  33. def isSignZero(a: Float): Boolean

    Definition Classes
    Signed
  34. def isWhole(x: Float): Boolean

    Definition Classes
    FloatAlgebra → IsReal
  35. def isZero(a: Float)(implicit ev: Eq[Float]): Boolean

    Definition Classes
    AdditiveMonoid
  36. def lt(x: Float, y: Float): Boolean

    Definition Classes
    FloatAlgebra → Order → PartialOrder
  37. def lteqv(x: Float, y: Float): Boolean

    Definition Classes
    FloatAlgebra → Order → PartialOrder
  38. def max(x: Float, y: Float): Float

    Definition Classes
    FloatAlgebra → Order
  39. def min(x: Float, y: Float): Float

    Definition Classes
    FloatAlgebra → Order
  40. def minus(x: Float, y: Float): Float

    Definition Classes
    FloatAlgebra → AdditiveGroup
  41. def mod(x: Float, y: Float): Float

    Definition Classes
    FloatAlgebra → EuclideanRing
  42. def multiplicative: CommutativeGroup[Float]

    Definition Classes
    MultiplicativeCommutativeGroup → MultiplicativeCommutativeMonoid → MultiplicativeCommutativeSemigroup → MultiplicativeGroup → MultiplicativeMonoid → MultiplicativeSemigroup
  43. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  44. def negate(x: Float): Float

    Definition Classes
    FloatAlgebra → AdditiveGroup
  45. def neqv(x: Float, y: Float): Boolean

    Definition Classes
    FloatAlgebra → Order → Eq
  46. final def notify(): Unit

    Definition Classes
    AnyRef
  47. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  48. def nroot(x: Float, k: Int): Float

    Definition Classes
    FloatAlgebra → NRoot
  49. def on[B](f: (B) ⇒ Float): Order[B]

    Definition Classes
    Order → PartialOrder → Eq
  50. def one: Float

    Definition Classes
    FloatAlgebra → MultiplicativeMonoid
  51. def partialCompare(x: Float, y: Float): Double

    Definition Classes
    Order → PartialOrder
  52. def plus(x: Float, y: Float): Float

    Definition Classes
    FloatAlgebra → AdditiveSemigroup
  53. def pmax(x: Float, y: Float): Option[Float]

    Definition Classes
    PartialOrder
  54. def pmin(x: Float, y: Float): Option[Float]

    Definition Classes
    PartialOrder
  55. def positivePow(a: Float, n: Int): Float

    Attributes
    protected[this]
    Definition Classes
    MultiplicativeSemigroup
  56. def positiveSumN(a: Float, n: Int): Float

    Attributes
    protected[this]
    Definition Classes
    AdditiveSemigroup
  57. def pow(x: Float, y: Int): Float

    Definition Classes
    FloatAlgebra → MultiplicativeGroup → MultiplicativeMonoid → MultiplicativeSemigroup
  58. def product(as: TraversableOnce[Float]): Float

    Definition Classes
    MultiplicativeMonoid
  59. def quot(x: Float, y: Float): Float

    Definition Classes
    FloatAlgebra → EuclideanRing
  60. def quotmod(x: Float, y: Float): (Float, Float)

    Definition Classes
    FloatAlgebra → EuclideanRing
  61. def reciprocal(x: Float): Float

    Definition Classes
    FloatAlgebra → MultiplicativeGroup
  62. def reverse: Order[Float]

    Definition Classes
    Order → PartialOrder
  63. def round(x: Float): Float

    Definition Classes
    FloatAlgebra → IsReal
  64. def sign(a: Float): Sign

    Definition Classes
    Signed
  65. def signum(x: Float): Int

    Definition Classes
    FloatAlgebra → Signed
  66. def sqrt(x: Float): Float

    Definition Classes
    FloatAlgebra → NRoot
  67. def sum(as: TraversableOnce[Float]): Float

    Definition Classes
    AdditiveMonoid
  68. def sumN(a: Float, n: Int): Float

    Definition Classes
    AdditiveGroup → AdditiveMonoid → AdditiveSemigroup
  69. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  70. def times(x: Float, y: Float): Float

    Definition Classes
    FloatAlgebra → MultiplicativeSemigroup
  71. def toDouble(x: Float): Double

    Definition Classes
    FloatAlgebra → IsReal
  72. def toString(): String

    Definition Classes
    AnyRef → Any
  73. def tryCompare(x: Float, y: Float): Option[Int]

    Definition Classes
    PartialOrder
  74. def tryProduct(as: TraversableOnce[Float]): Option[Float]

    Definition Classes
    MultiplicativeSemigroup
  75. def trySum(as: TraversableOnce[Float]): Option[Float]

    Definition Classes
    AdditiveSemigroup
  76. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  77. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  78. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  79. def zero: Float

    Definition Classes
    FloatAlgebra → AdditiveMonoid

Inherited from IsReal[Float]

Inherited from Signed[Float]

Inherited from Order[Float]

Inherited from PartialOrder[Float]

Inherited from Eq[Float]

Inherited from NRoot[Float]

Inherited from ring.Field[Float]

Inherited from MultiplicativeCommutativeGroup[Float]

Inherited from MultiplicativeGroup[Float]

Inherited from EuclideanRing[Float]

Inherited from CommutativeRing[Float]

Inherited from CommutativeRig[Float]

Inherited from MultiplicativeCommutativeMonoid[Float]

Inherited from MultiplicativeCommutativeSemigroup[Float]

Inherited from ring.Ring[Float]

Inherited from Rng[Float]

Inherited from AdditiveCommutativeGroup[Float]

Inherited from AdditiveGroup[Float]

Inherited from Rig[Float]

Inherited from MultiplicativeMonoid[Float]

Inherited from Semiring[Float]

Inherited from MultiplicativeSemigroup[Float]

Inherited from AdditiveCommutativeMonoid[Float]

Inherited from AdditiveCommutativeSemigroup[Float]

Inherited from AdditiveMonoid[Float]

Inherited from AdditiveSemigroup[Float]

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped