Numeric.Units.Dimensional

# Types

type Unit m

type Quantity

data Metricality

# Physical Dimensions

data Dimension

## Dimension Arithmetic

type family (a :: Dimension) * (b :: Dimension) where ...

type family (a :: Dimension) / (d :: Dimension) where ...

type family (d :: Dimension) ^ (x :: TypeInt) where ...

type family Root (d :: Dimension) (x :: TypeInt) where ...

type Recip d

## Term Level Representation of Dimensions

data Dimension'

class HasDimension a

type KnownDimension d

# Dimensional Arithmetic

(*~)

(/~)

(^)

(^/)

(**)

(*)

(/)

(+)

(-)

negate

abs

nroot

sqrt

cbrt

## Transcendental Functions

exp

log

sin

cos

tan

asin

acos

atan

sinh

cosh

tanh

asinh

acosh

atanh

atan2

## Operations on Collections

(*~~)

(/~~)

sum

mean

dimensionlessLength

nFromTo

# Dimension Synonyms

type DOne

type DLength

type DMass

type DTime

type DElectricCurrent

type DThermodynamicTemperature

type DAmountOfSubstance

type DLuminousIntensity

# Quantity Synonyms

type Dimensionless

type Length

type Mass

type Time

type ElectricCurrent

type ThermodynamicTemperature

type AmountOfSubstance

type LuminousIntensity

# Constants

_0

_1

_2

_3

_4

_5

_6

_7

_8

_9

pi

tau

# Constructing Units

siUnit

one

mkUnitR

mkUnitQ

mkUnitZ

# Unit Metadata

name

exactValue

weaken

strengthen

exactify

# Pretty Printing

showIn

# On `Functor`, and Conversion Between Number Representations

class KnownVariant v

changeRep

changeRepApproximate