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