Data.UnitsOfMeasure.Internal

Type-level units of measure

data Unit

type family One :: Unit

type family Base b :: 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'

Syntactic representation of units

data UnitSyntax s

type family Unpack u :: UnitSyntax Symbol

type family Pack u :: Unit

type family Prod xs :: Unit

Internal

type family u ~~ v :: Constraint

type family MkUnit s :: Unit