Numeric.Units.Dimensional.UnitNames

Data Types

data UnitName m

data NameAtom m

type PrefixName

data Metricality

Construction of Unit Names

atom

applyPrefix

(*)

(/)

(^)

product

reduce

grouped

Standard Names

baseUnitName

Names for the Base Units

nOne

nMeter

nGram

nKilogram

nSecond

nAmpere

nKelvin

nMole

nCandela

Names for the SI Metric Prefixes

deka

hecto

kilo

mega

giga

tera

peta

exa

zetta

yotta

deci

centi

milli

micro

nano

pico

femto

atto

zepto

yocto

Convenience Type Synonyms for Unit Name Transformations

type UnitNameTransformer

type UnitNameTransformer2

Forgetting Unwanted Phantom Types

weaken

strengthen

relax