/ package:dimensional

Division of dimensions corresponds to subtraction of the base dimensions' exponents.

Divides one Quantity by another or one Unit by another. The intimidating type signature captures the similarity between these operations and ensures that composite Units are NonMetric.

Forms the quotient of two dimensions.

Forms the quotient of two dynamic units.

Form a UnitName by dividing one by another.

Forms the quotient of two Variants. The quotient of units is a non-metric unit. The quotient of quantities is a quantity.

Divides a Quantity by a Unit of the same physical dimension, obtaining the numerical value of the quantity expressed in that unit.

Applies /~ to all values in a functor.

Divides a dynamic quantity by a dynamic unit, obtaining the numerical value of the quantity expressed in that unit if they are of the same physical dimension, or Nothing otherwise.

Divides a possibly scaled SQuantity by a Unit of the same physical dimension, obtaining the numerical value of the quantity expressed in that unit.

Applies /~ to all values in a functor.

Computes the nth root of a Quantity using **. The NRoot type family will prevent application of this operator where the result would have a fractional dimension or where n is zero. Because the root chosen impacts the Dimension of the result, it is necessary to supply a type-level representation of the root in the form of a Proxy to some TypeInt. Convenience values pos1, pos2, neg1, ... are supplied by the Numeric.NumType.DK.Integers module. The most commonly used ones are also reexported by Numeric.Units.Dimensional.Prelude. Also available in prefix form, see nroot.