:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27
Moduledimensional-1.5Haskell2010
This module provides types and functions for manipulating unit names.
Please note that the details of the name representation may be less stable than the other APIs provided by this package, as new features using them are still being developed.
The name of a unit.
Eq (UnitName m)Defined in dimensional-1.5 · Numeric.Units.Dimensional.UnitNames.InternalShow (UnitName m)Defined in dimensional-1.5 · Numeric.Units.Dimensional.UnitNames.InternalUnitNames are shown with non-breaking spaces.
NFData (UnitName m)Defined in dimensional-1.5 · Numeric.Units.Dimensional.UnitNames.InternalHasInterchangeName (UnitName m)Defined in dimensional-1.5 · Numeric.Units.Dimensional.UnitNames.InternalRepresents the name of an atomic unit or prefix.
Eq (NameAtom m)Defined in dimensional-1.5 · Numeric.Units.Dimensional.UnitNames.InternalTypeable m => Data (NameAtom m)Defined in dimensional-1.5 · Numeric.Units.Dimensional.UnitNames.InternalOrd (NameAtom m)Defined in dimensional-1.5 · Numeric.Units.Dimensional.UnitNames.InternalGeneric (NameAtom m)Defined in dimensional-1.5 · Numeric.Units.Dimensional.UnitNames.InternalNFData (NameAtom m)Defined in dimensional-1.5 · Numeric.Units.Dimensional.UnitNames.InternalHasInterchangeName (NameAtom m)Defined in dimensional-1.5 · Numeric.Units.Dimensional.UnitNames.Internaltype Rep (NameAtom m) = D1 ('MetaData "NameAtom"
"Numeric.Units.Dimensional.UnitNames.Internal"
"dimensional-1.5-A8hQbr1FhplHXjkk6TSAmE"
'False) (C1 ('MetaCons "NameAtom"
'PrefixI 'True) (S1 ('MetaSel ('Just "_interchangeName"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InterchangeName) :*: (S1 ('MetaSel ('Just "abbreviation_en"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "name_en"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))Defined in dimensional-1.5 · Numeric.Units.Dimensional.UnitNames.InternalA metric prefix.
Eq PrefixDefined in dimensional-1.5 · Numeric.Units.Dimensional.UnitNames.InternalData PrefixDefined in dimensional-1.5 · Numeric.Units.Dimensional.UnitNames.InternalOrd PrefixDefined in dimensional-1.5 · Numeric.Units.Dimensional.UnitNames.InternalGeneric PrefixDefined in dimensional-1.5 · Numeric.Units.Dimensional.UnitNames.InternalNFData PrefixDefined in dimensional-1.5 · Numeric.Units.Dimensional.UnitNames.InternalHasInterchangeName PrefixDefined in dimensional-1.5 · Numeric.Units.Dimensional.UnitNames.Internaltype Rep Prefix = D1 ('MetaData "Prefix"
"Numeric.Units.Dimensional.UnitNames.Internal"
"dimensional-1.5-A8hQbr1FhplHXjkk6TSAmE"
'False) (C1 ('MetaCons "Prefix"
'PrefixI 'True) (S1 ('MetaSel ('Just "prefixName"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PrefixName) :*: S1 ('MetaSel ('Just "scaleFactor"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))Defined in dimensional-1.5 · Numeric.Units.Dimensional.UnitNames.InternalThe name of a metric prefix.
Encodes whether a unit is a metric unit, that is, whether it can be combined with a metric prefix to form a related unit.
Eq MetricalityDefined in dimensional-1.5 · Numeric.Units.Dimensional.VariantsData MetricalityDefined in dimensional-1.5 · Numeric.Units.Dimensional.VariantsOrd MetricalityDefined in dimensional-1.5 · Numeric.Units.Dimensional.VariantsGeneric MetricalityDefined in dimensional-1.5 · Numeric.Units.Dimensional.VariantsNFData MetricalityDefined in dimensional-1.5 · Numeric.Units.Dimensional.Variantstype Rep Metricality = D1 ('MetaData "Metricality"
"Numeric.Units.Dimensional.Variants"
"dimensional-1.5-A8hQbr1FhplHXjkk6TSAmE"
'False) (C1 ('MetaCons "Metric"
'PrefixI 'False) U1 :+: C1 ('MetaCons "NonMetric"
'PrefixI 'False) U1)Defined in dimensional-1.5 · Numeric.Units.Dimensional.Variantsatom Constructs an atomic name for a custom unit.
Form a UnitName by taking the product of two others.
Form a UnitName by dividing one by another.
Form a UnitName by raising a name to an integer power.
Reduce a UnitName by algebraic simplifications.
The name of the base unit associated with a specified dimension.
A list of all Prefixes defined by the SI.
The name of the unit of dimensionless values.
The name of a metric prefix.
The scale factor denoted by a metric prefix.
The type of a unit name transformation that may be associated with an operation that takes a single unit as input.
type UnitNameTransformer2 = forall (m1 :: Metricality) (m2 :: Metricality). UnitName m1 -> UnitName m2 -> UnitName 'NonMetricThe type of a unit name transformation that may be associated with an operation that takes two units as input.
Convert a UnitName of one Metricality into a name of another metricality by strengthening or weakening if neccessary. Because it may not be possible to strengthen, the result is returned in a Maybe wrapper.
The full name of the unit in international English.
The abbreviated name of the unit in international English.