id package:dimensional

the identity morphism

Return True if two floating-point quantities are exactly (bitwise) equal.

A DynQuantity which does not correspond to a value of any dimension.

One imperial fluid ounce is one twentieth of an imperialPint. See here for further information.

>>> 1 *~ imperialFluidOunce
2.84130625e-5 m^3

>>> 1 *~ imperialFluidOunce :: Volume Rational
454609 % 16000000000 m^3

One US fluid ounce is 1128 usGallon or 18 usCup. See here for further information.

>>> 1 *~ usFluidOunce
2.95735295625e-5 m^3

>>> 1 *~ usFluidOunce :: Volume Rational
473176473 % 16000000000000 m^3

The class of monoids (types with an associative binary operation that has an identity). Instances should satisfy the following:

• Right identity x <> mempty = x
• Left identity mempty <> x = x
• Associativity x <> (y <> z) = (x <> y) <> z (Semigroup law)
• Concatenation mconcat = foldr (<>) mempty

The method names refer to the monoid of lists under concatenation, but there are many other instances. Some types can be viewed as a monoid in more than one way, e.g. both addition and multiplication on numbers. In such cases we often define newtypes and make those instances of Monoid, e.g. Sum and Product. NOTE: Semigroup is a superclass of Monoid since base-4.11.0.0.