| Safe Haskell | None |
|---|
UnitTyped.SI
Description
Module definig all SI units and their dimensions.
- data Mole
- data Length
- type LengthDimension = UnitCons Length (Pos One) UnitNil
- data Meter
- data Time
- type TimeDimension = UnitCons Time (Pos One) UnitNil
- data Second
- data Mass
- type MassDimension = UnitCons Mass (Pos One) UnitNil
- data Gram
- data Temperature
- type TemperatureDimension = UnitCons Temperature (Pos One) UnitNil
- data Kelvin
- data Current
- type CurrentDimension = UnitCons Current (Pos One) UnitNil
- data Ampere
- data Luminous
- type LuminousDimension = UnitCons Luminous (Pos One) UnitNil
- data Candela
- count :: Fractional f => Value f NoDimension Count
- mole :: Fractional f => Value f NoDimension Mole
- meter :: Fractional f => Value f LengthDimension Meter
- second :: Fractional f => Value f TimeDimension Second
- gram :: Fractional f => Value f MassDimension Gram
- kelvin :: Fractional f => Value f TemperatureDimension Kelvin
- ampere :: Fractional f => Value f CurrentDimension Ampere
- candela :: Fractional f => Value f LuminousDimension Candela
Documentation
Unit for moles. Officially, this is a SI unit, but we definite it in terms of Count.
Instances
Dimension of length.
Instances
Dimension of time.
Instances
Dimension of mass.
Instances
The SI unit for Mass is officially kilogram, but we define grams (g) here, so kilo gram will work when using Meta.
Instances
type TemperatureDimension = UnitCons Temperature (Pos One) UnitNilSource
The dimension defining Temperature^1.
The SI unit for Temperature: Kelvin (K).
Instances
Dimension of electric current.
type LuminousDimension = UnitCons Luminous (Pos One) UnitNilSource
The dimension defining Luminous^1.
The SI unit for Luminous intensity: candela (cd).
Instances
count :: Fractional f => Value f NoDimension CountSource
One thing (#).
mole :: Fractional f => Value f NoDimension MoleSource
One mole (mol).
meter :: Fractional f => Value f LengthDimension MeterSource
One meter (m).
second :: Fractional f => Value f TimeDimension SecondSource
One second (s).
gram :: Fractional f => Value f MassDimension GramSource
One gram (g).
kelvin :: Fractional f => Value f TemperatureDimension KelvinSource
One Kelvin (K).
ampere :: Fractional f => Value f CurrentDimension AmpereSource
One ampere (A).
candela :: Fractional f => Value f LuminousDimension CandelaSource
One candela (cd).