Safe Haskell	None

UnitTyped.SI.Derived

Description

A module with dimensions and units derived from combining SI units.

Synopsis

Documentation

type Speed = UnitCons Time NOne (UnitCons Length POne UnitNil)Source

Speed. Length^1 Time^-1.

type Acceleration = UnitCons Time NTwo (UnitCons Length POne UnitNil)Source

Acceleration. Length^1 Time^-2.

data Knot Source

Derived unit of speed (kn).

Instances

Convertable Speed Knot

type Force = UnitCons Time NTwo (UnitCons Mass POne (UnitCons Length POne UnitNil))Source

Force. Length^1 Time^-1 Mass^1.

data Newton Source

Unit of force (N).

Instances

Convertable Force Newton

type Energy = UnitCons Time NTwo (UnitCons Mass POne (UnitCons Length PTwo UnitNil))Source

Energy. Length^2 Time^-2 Mass^1.

data Joule Source

Unit of energy (J).

Instances

Convertable Energy Joule

data Ev Source

Unit of energy (eV).

Instances

Convertable Energy Ev

type Power = UnitCons Time NThree (UnitCons Length PTwo (UnitCons Mass POne UnitNil))Source

Energy. Length^2 Time^-3 Mass^1.

data Watt Source

Unit of power (W).

Instances

Convertable Power Watt

type Pressure = UnitCons Time NTwo (UnitCons Mass POne (UnitCons Length NOne UnitNil))Source

Energy. Length^-1 Time^-2 Mass^1.

data Pascal Source

Unit of pressure (Pa).

Instances

Convertable Pressure Pascal

data Bar Source

Unit of pressure (bar).

Instances

Convertable Pressure Bar

data MmHg Source

Unit of pressure (mmHg).

Instances

Convertable Pressure MmHg

type Charge = UnitCons Time POne (UnitCons Current POne UnitNil)Source

Electric charge. Time^1 Current^1.

data Coulomb Source

Unit of chage (C).

Instances

Convertable Charge Coulomb

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.

data Volt Source

Unit of potential (V).

Instances

Convertable Potential Volt

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.

data Farad Source

Unit of capacitance (F).

Instances

Convertable Capacitance Farad

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.

data Ohm Source

Unit of resistance (Ω).

Instances

Convertable Resistance Ohm

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.

data Siemens Source

Unit of conductance (S).

Instances

Convertable Conductance Siemens

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.

data Weber Source

Unit of magnetic flux (Wb).

Instances

Convertable Flux Weber

type FluxDensity = UnitCons Time NTwo (UnitCons Mass POne (UnitCons Current NOne UnitNil))Source

Magnetic field strength. Time^-2 Mass^1 Current^-1.

data Tesla Source

Unit of magnetic field strength (T).

Instances

Convertable FluxDensity Tesla

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.

data Henry Source

Unit of Inductance (H).

Instances

Convertable Inductance Henry

knot :: Fractional f => Value f Speed Knot Source

One knot.

newton :: Fractional f => Value f Force Newton Source

One newton.

joule :: Fractional f => Value f Energy Joule Source

One joule.

eV :: Fractional f => Value f Energy Ev Source

One eV.

kwh :: Fractional f => Value f Energy (Mul (Kilo Watt) Hour)Source

One kwh.

watt :: Fractional f => Value f Power Watt Source

One watt.

pascal :: Fractional f => Value f Pressure Pascal Source

One pascal.

bar :: Fractional f => Value f Pressure Bar Source

One bar.

mmHg :: Fractional f => Value f Pressure MmHg Source

One mmHg.

coulomb :: Fractional f => Value f Charge Coulomb Source

One coulomb.

volt :: Fractional f => Value f Potential Volt Source

One volt.

farad :: Fractional f => Value f Capacitance Farad Source

One farad.

ohm :: Fractional f => Value f Resistance Ohm Source

One ohm.

siemens :: Fractional f => Value f Conductance Siemens Source

One siemens.

weber :: Fractional f => Value f Flux Weber Source

One weber.

tesla :: Fractional f => Value f FluxDensity Tesla Source

One tesla.

henry :: Fractional f => Value f Inductance Henry Source

One henry.