Safe Haskell | None |
---|
A module with dimensions and units derived from combining SI units.
- type Speed = UnitCons Time NOne (UnitCons Length POne UnitNil)
- type Acceleration = UnitCons Time NTwo (UnitCons Length POne UnitNil)
- data Knot
- type Force = UnitCons Time NTwo (UnitCons Mass POne (UnitCons Length POne UnitNil))
- data Newton
- type Energy = UnitCons Time NTwo (UnitCons Mass POne (UnitCons Length PTwo UnitNil))
- data Joule
- data Ev
- type Power = UnitCons Time NThree (UnitCons Length PTwo (UnitCons Mass POne UnitNil))
- data Watt
- type Pressure = UnitCons Time NTwo (UnitCons Mass POne (UnitCons Length NOne UnitNil))
- data Pascal
- data Bar
- data MmHg
- type Charge = UnitCons Time POne (UnitCons Current POne UnitNil)
- data Coulomb
- type Potential = UnitCons Current NOne (UnitCons Mass POne (UnitCons Length PTwo (UnitCons Time NThree UnitNil)))
- data Volt
- type Capacitance = UnitCons Current PTwo (UnitCons Mass NOne (UnitCons Length NTwo (UnitCons Time PFour UnitNil)))
- data Farad
- type Resistance = UnitCons Current NTwo (UnitCons Time NThree (UnitCons Length PTwo (UnitCons Mass POne UnitNil)))
- data Ohm
- type Conductance = UnitCons Current PTwo (UnitCons Mass NOne (UnitCons Length NTwo (UnitCons Time PThree UnitNil)))
- data Siemens
- type Flux = UnitCons Current NOne (UnitCons Length PTwo (UnitCons Mass POne (UnitCons Time NTwo UnitNil)))
- data Weber
- type FluxDensity = UnitCons Time NTwo (UnitCons Mass POne (UnitCons Current NOne UnitNil))
- data Tesla
- type Inductance = UnitCons Current NTwo (UnitCons Time NTwo (UnitCons Mass POne (UnitCons Length PTwo UnitNil)))
- data Henry
- knot :: Fractional f => Value f Speed Knot
- newton :: Fractional f => Value f Force Newton
- joule :: Fractional f => Value f Energy Joule
- eV :: Fractional f => Value f Energy Ev
- kwh :: Fractional f => Value f Energy (Mul (Kilo Watt) Hour)
- watt :: Fractional f => Value f Power Watt
- pascal :: Fractional f => Value f Pressure Pascal
- bar :: Fractional f => Value f Pressure Bar
- mmHg :: Fractional f => Value f Pressure MmHg
- coulomb :: Fractional f => Value f Charge Coulomb
- volt :: Fractional f => Value f Potential Volt
- farad :: Fractional f => Value f Capacitance Farad
- ohm :: Fractional f => Value f Resistance Ohm
- siemens :: Fractional f => Value f Conductance Siemens
- weber :: Fractional f => Value f Flux Weber
- tesla :: Fractional f => Value f FluxDensity Tesla
- henry :: Fractional f => Value f Inductance Henry
Documentation
type Acceleration = UnitCons Time NTwo (UnitCons Length POne UnitNil)Source
Acceleration. Length^1 Time^-2
.
type Force = UnitCons Time NTwo (UnitCons Mass POne (UnitCons Length POne UnitNil))Source
Force. Length^1 Time^-1 Mass^1
.
type Energy = UnitCons Time NTwo (UnitCons Mass POne (UnitCons Length PTwo UnitNil))Source
Energy. Length^2 Time^-2 Mass^1
.
type Power = UnitCons Time NThree (UnitCons Length PTwo (UnitCons Mass POne UnitNil))Source
Energy. Length^2 Time^-3 Mass^1
.
type Pressure = UnitCons Time NTwo (UnitCons Mass POne (UnitCons Length NOne UnitNil))Source
Energy. Length^-1 Time^-2 Mass^1
.
type Charge = UnitCons Time POne (UnitCons Current POne UnitNil)Source
Electric charge. Time^1 Current^1
.
type Potential = UnitCons Current NOne (UnitCons Mass POne (UnitCons Length PTwo (UnitCons Time NThree UnitNil)))Source
Electric potential. Time^-3 Current^-1 Mass^1 Length^2
.
type Capacitance = UnitCons Current PTwo (UnitCons Mass NOne (UnitCons Length NTwo (UnitCons Time PFour UnitNil)))Source
Electric capacitance. Current^2 Mass^-1 Length^2 Time^4
.
type Resistance = UnitCons Current NTwo (UnitCons Time NThree (UnitCons Length PTwo (UnitCons Mass POne UnitNil)))Source
Electric resistance. Current^-2 Time^-3 Length^2 Mass^1
.
type Conductance = UnitCons Current PTwo (UnitCons Mass NOne (UnitCons Length NTwo (UnitCons Time PThree UnitNil)))Source
Electric conductance. Current^2 Mass^-1 Length^-2 Time^3
.
type Flux = UnitCons Current NOne (UnitCons Length PTwo (UnitCons Mass POne (UnitCons Time NTwo UnitNil)))Source
Magnetic flux. Current^-1 Length^2 Mass^1 Time^-2
.
type FluxDensity = UnitCons Time NTwo (UnitCons Mass POne (UnitCons Current NOne UnitNil))Source
Magnetic field strength. Time^-2 Mass^1 Current^-1
.
type Inductance = UnitCons Current NTwo (UnitCons Time NTwo (UnitCons Mass POne (UnitCons Length PTwo UnitNil)))Source
Inductance. Current^-2 Time^-2 Mass^1 Length^2
.
farad :: Fractional f => Value f Capacitance FaradSource
One farad.
ohm :: Fractional f => Value f Resistance OhmSource
One ohm.
siemens :: Fractional f => Value f Conductance SiemensSource
One siemens.
tesla :: Fractional f => Value f FluxDensity TeslaSource
One tesla.
henry :: Fractional f => Value f Inductance HenrySource
One henry.