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