algebra.std

FloatAlgebra

class FloatAlgebra extends Field[Float] with Order[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
Order[Float], PartialOrder[Float], Eq[Float], Field[Float], MultiplicativeCommutativeGroup[Float], MultiplicativeGroup[Float], EuclideanRing[Float], CommutativeRing[Float], CommutativeRig[Float], MultiplicativeCommutativeMonoid[Float], MultiplicativeCommutativeSemigroup[Float], 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. Order
  3. PartialOrder
  4. Eq
  5. Field
  6. MultiplicativeCommutativeGroup
  7. MultiplicativeGroup
  8. EuclideanRing
  9. CommutativeRing
  10. CommutativeRig
  11. MultiplicativeCommutativeMonoid
  12. MultiplicativeCommutativeSemigroup
  13. Ring
  14. Rng
  15. AdditiveCommutativeGroup
  16. AdditiveGroup
  17. Rig
  18. MultiplicativeMonoid
  19. Semiring
  20. MultiplicativeSemigroup
  21. AdditiveCommutativeMonoid
  22. AdditiveCommutativeSemigroup
  23. AdditiveMonoid
  24. AdditiveSemigroup
  25. Serializable
  26. Serializable
  27. AnyRef
  28. 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 additive: CommutativeGroup[Float]

    Definition Classes
    AdditiveCommutativeGroup → AdditiveCommutativeMonoid → AdditiveCommutativeSemigroup → AdditiveGroup → AdditiveMonoid → AdditiveSemigroup

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

    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: Float, y: Float): Int

    Definition Classes
    FloatAlgebra → Order

  11. def div(x: Float, y: Float): Float

    Definition Classes
    FloatAlgebra → MultiplicativeGroup

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

    Definition Classes
    AnyRef

  13. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    FloatAlgebra → Order → PartialOrder → Eq

  15. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  16. def fromDouble(x: Double): Float

    Definition Classes
    FloatAlgebra → Field

  17. def fromInt(x: Int): Float

    Definition Classes
    FloatAlgebra → Ring

  18. def gcd(x: Float, y: Float): Float

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

    Definition Classes
    AnyRef → Any

  20. def gt(x: Float, y: Float): Boolean

    Definition Classes
    FloatAlgebra → Order → PartialOrder

  21. def gteqv(x: Float, y: Float): Boolean

    Definition Classes
    FloatAlgebra → Order → PartialOrder

  22. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  23. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  24. def isOne(a: Float)(implicit ev: Eq[Float]): Boolean

    Definition Classes
    MultiplicativeMonoid

  25. def isZero(a: Float)(implicit ev: Eq[Float]): Boolean

    Definition Classes
    AdditiveMonoid

  26. def lt(x: Float, y: Float): Boolean

    Definition Classes
    FloatAlgebra → Order → PartialOrder

  27. def lteqv(x: Float, y: Float): Boolean

    Definition Classes
    FloatAlgebra → Order → PartialOrder

  28. def max(x: Float, y: Float): Float

    Definition Classes
    FloatAlgebra → Order

  29. def min(x: Float, y: Float): Float

    Definition Classes
    FloatAlgebra → Order

  30. def minus(x: Float, y: Float): Float

    Definition Classes
    FloatAlgebra → AdditiveGroup

  31. def mod(x: Float, y: Float): Float

    Definition Classes
    FloatAlgebra → EuclideanRing

  32. def multiplicative: CommutativeGroup[Float]

    Definition Classes
    MultiplicativeCommutativeGroup → MultiplicativeCommutativeMonoid → MultiplicativeCommutativeSemigroup → MultiplicativeGroup → MultiplicativeMonoid → MultiplicativeSemigroup

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

    Definition Classes
    AnyRef

  34. def negate(x: Float): Float

    Definition Classes
    FloatAlgebra → AdditiveGroup

  35. def neqv(x: Float, y: Float): Boolean

    Definition Classes
    FloatAlgebra → Order → Eq

  36. final def notify(): Unit

    Definition Classes
    AnyRef

  37. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  38. def on[B](f: (B) ⇒ Float): Order[B]

    Definition Classes
    Order → PartialOrder → Eq

  39. def one: Float

    Definition Classes
    FloatAlgebra → MultiplicativeMonoid

  40. def or(that: Eq[Float]): Eq[Float]

    Definition Classes
    Eq

  41. def partialCompare(x: Float, y: Float): Double

    Definition Classes
    Order → PartialOrder

  42. def plus(x: Float, y: Float): Float

    Definition Classes
    FloatAlgebra → AdditiveSemigroup

  43. def pmax(x: Float, y: Float): Option[Float]

    Definition Classes
    PartialOrder

  44. def pmin(x: Float, y: Float): Option[Float]

    Definition Classes
    PartialOrder

  45. def positivePow(a: Float, n: Int): Float

    Attributes
    protected[this]
    Definition Classes
    MultiplicativeSemigroup

  46. def positiveSumN(a: Float, n: Int): Float

    Attributes
    protected[this]
    Definition Classes
    AdditiveSemigroup

  47. def pow(x: Float, y: Int): Float

    Definition Classes
    FloatAlgebra → MultiplicativeGroup → MultiplicativeMonoid → MultiplicativeSemigroup

  48. def product(as: TraversableOnce[Float]): Float

    Definition Classes
    MultiplicativeMonoid

  49. def quot(x: Float, y: Float): Float

    Definition Classes
    FloatAlgebra → EuclideanRing

  50. def quotmod(x: Float, y: Float): (Float, Float)

    Definition Classes
    FloatAlgebra → EuclideanRing

  51. def reciprocal(x: Float): Float

    Definition Classes
    FloatAlgebra → MultiplicativeGroup

  52. def reverse: Order[Float]

    Definition Classes
    Order → PartialOrder

  53. def sum(as: TraversableOnce[Float]): Float

    Definition Classes
    AdditiveMonoid

  54. def sumN(a: Float, n: Int): Float

    Definition Classes
    AdditiveGroup → AdditiveMonoid → AdditiveSemigroup

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

    Definition Classes
    AnyRef

  56. def times(x: Float, y: Float): Float

    Definition Classes
    FloatAlgebra → MultiplicativeSemigroup

  57. def toOrdering: Ordering[Float]

    Definition Classes
    Order

  58. def toString(): String

    Definition Classes
    AnyRef → Any

  59. def tryCompare(x: Float, y: Float): Option[Int]

    Definition Classes
    PartialOrder

  60. def tryProduct(as: TraversableOnce[Float]): Option[Float]

    Definition Classes
    MultiplicativeSemigroup

  61. def trySum(as: TraversableOnce[Float]): Option[Float]

    Definition Classes
    AdditiveSemigroup

  62. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  65. def whenEqual(o: Order[Float]): Order[Float]

    Definition Classes
    Order

  66. def zero: Float

    Definition Classes
    FloatAlgebra → AdditiveMonoid

Inherited from Order[Float]

Inherited from PartialOrder[Float]

Inherited from Eq[Float]

Inherited from 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[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