FloatAlgebra
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.
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.
trait Field[Float]
trait MultiplicativeCommutativeGroup[Float]
trait MultiplicativeGroup[Float]
trait CommutativeRing[Float]
trait CommutativeRng[Float]
trait CommutativeRig[Float]
trait MultiplicativeCommutativeMonoid[Float]
trait CommutativeSemiring[Float]
trait MultiplicativeCommutativeSemigroup[Float]
trait Ring[Float]
trait Rng[Float]
trait AdditiveCommutativeGroup[Float]
trait AdditiveGroup[Float]
trait Rig[Float]
trait MultiplicativeMonoid[Float]
trait Semiring[Float]
trait MultiplicativeSemigroup[Float]
trait AdditiveCommutativeMonoid[Float]
trait AdditiveCommutativeSemigroup[Float]
trait AdditiveMonoid[Float]
trait AdditiveSemigroup[Float]
trait Serializable
class Object
trait Matchable
class Any
Value members
Inherited methods
Given a sequence of as, compute the product.
Given a sequence of as, compute the product.
- Inherited from
- MultiplicativeMonoid
Given a sequence of as, compute the sum.
Given a sequence of as, compute the sum.
- Inherited from
- AdditiveMonoid