Numeric.Units.Dimensional.Dynamic

Defines types for manipulation of units and quantities without phantom types for their dimensions.

Dynamic Quantities

data AnyQuantity v

A Quantity whose Dimension is only known dynamically.

Instances

Eq v => Eq (AnyQuantity v)

Show v => Show (AnyQuantity v)

HasDimension (AnyQuantity v)

demoteQuantity :: forall d v. KnownDimension d => Quantity d v -> AnyQuantity v

Converts a Quantity of statically known Dimension into an AnyQuantity.

promoteQuantity :: forall d v. KnownDimension d => AnyQuantity v -> Maybe (Quantity d v)

Converts an AnyQuantity into a Quantity of statically known Dimension, or Nothing if the dimension does not match.

Dynamic Units

data AnyUnit

A Unit whose Dimension is only known dynamically.

Instances

Show AnyUnit

HasDimension AnyUnit

demoteUnit :: forall a d v. KnownDimension d => Unit a d v -> AnyUnit

Converts a Unit of statically known Dimension into an AnyUnit.

promoteUnit :: forall d. KnownDimension d => AnyUnit -> Maybe (Unit NonMetric d ExactPi)

Converts an AnyUnit into a Unit of statically known Dimension, or Nothing if the dimension does not match.

The result is represented in ExactPi, conversion to other representations is possible using changeRepApproximate.