Algebra.DimensionTerm

class C a

noValue

Type constructors

data Scalar

data Mul a b

data Recip a

type Sqr a

appPrec

scalar

mul

recip

(%*%)

(%/%)

Rewrites

applyLeftMul

applyRightMul

applyRecip

commute

associateLeft

associateRight

recipMul

mulRecip

identityLeft

identityRight

cancelLeft

cancelRight

invertRecip

doubleRecip

recipScalar

Example dimensions

Scalar

class IsScalar dim

Basis dimensions

data Length

data Time

data Mass

data Charge

data Angle

data Temperature

data Information

length

time

mass

charge

angle

temperature

information

Derived dimensions

type Frequency

frequency

data Voltage

type VoltageAnalytical

voltage

unpackVoltage

packVoltage