Inherited from Order[Float]
Inherited from PartialOrder[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
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.