Data.UnitsOfMeasure

Type-level units of measure

data Unit

type family Base b :: Unit

type family One :: Unit

type family u *: v :: Unit

type family u /: v :: Unit

type family u ^: n :: Unit

Values indexed by their units

data Quantity a u

unQuantity

zero

mk

Unit-safe Num operations

(+:)

(*:)

(-:)

negate'

abs'

signum'

fromInteger'

Unit-safe Fractional operations

(/:)

recip'

fromRational'

Unit-safe Floating operations

sqrt'

TH constructor for quantities/units

u

Declaring units

declareBaseUnit

declareDerivedUnit

declareConvertibleUnit

Automatic unit conversions

convert

Pay no attention to that man behind the curtain

type family MkUnit s :: Unit

type family Pack u :: Unit

type family Unpack u :: UnitSyntax Symbol

class KnownUnit u