A value of type T stores information on how to resolve unit violations. The main application of the module are certainly Number.Physical type instances but in principle it can also be applied to other occasionally scalar types.
Instances11Eq, Ord, Show, C, …
(C a v, Show v) => C a (T a v)Defined in numeric-prelude-0.4.4 · Number.OccasionallyScalarExpressionEq v => Eq (T a v)Defined in numeric-prelude-0.4.4 · Number.OccasionallyScalarExpressionOrd v => Ord (T a v)Defined in numeric-prelude-0.4.4 · Number.OccasionallyScalarExpressionShow v => Show (T a v)Defined in numeric-prelude-0.4.4 · Number.OccasionallyScalarExpressionC v => C (T a v)Defined in numeric-prelude-0.4.4 · Number.OccasionallyScalarExpressionC v => C (T a v)Defined in numeric-prelude-0.4.4 · Number.OccasionallyScalarExpressionC v => C (T a v)Defined in numeric-prelude-0.4.4 · Number.OccasionallyScalarExpression(C a, C v, Show v, C a v) => C (T a v)Defined in numeric-prelude-0.4.4 · Number.OccasionallyScalarExpressionC v => C (T a v)Defined in numeric-prelude-0.4.4 · Number.OccasionallyScalarExpressionC v => C (T a v)Defined in numeric-prelude-0.4.4 · Number.OccasionallyScalarExpression(C a, C v, Show v, C a v) => C (T a v)Defined in numeric-prelude-0.4.4 · Number.OccasionallyScalarExpression