unittyped-0.1: An extendable library for type-safe computations including units.

Safe Haskell	None

UnitTyped.SI.Derived.Length

Description

Units derived from the SI unit for length, and higher dimensions of length (area, volume).

Synopsis

Documentation

data Mile Source

The international mile (mile).

Instances

Convertable LengthDimension Mile

data Inch Source

The international inch (in).

Instances

Convertable LengthDimension Inch

data Yard Source

The international yard (yd).

Instances

Convertable LengthDimension Yard

data Foot Source

The international foot (ft).

Instances

Convertable LengthDimension Foot

data Ångström Source

Ångström, length unit for atoms and molecules (Å).

Instances

Convertable LengthDimension Ångström

data NauticalMile Source

Nautical miles (M).

Instances

Convertable LengthDimension NauticalMile

type AreaUnit = UnitCons Length (Pos (Suc One)) UnitNil Source

Area: Length^2.

data Barn Source

Area, often used in nuclear physics (b).

Instances

Convertable AreaUnit Barn

type VolumeUnit = UnitCons Length (Pos (Suc (Suc One))) UnitNil Source

Volume: Length^3.

data Liter Source

Liter, unit of volume (L).

Instances

Convertable VolumeUnit Liter

data Gallon Source

Gallon, unit of volume (gallon).

Instances

Convertable VolumeUnit Gallon

data FluidOunce Source

Fluid ounce, unit of volume (fl oz).

Instances

Convertable VolumeUnit FluidOunce

mile :: Fractional f => Value f LengthDimension Mile Source

One mile (mile).

inch :: Fractional f => Value f LengthDimension Inch Source

One inch (in).

yard :: Fractional f => Value f LengthDimension Yard Source

One yard (yd).

foot :: Fractional f => Value f LengthDimension Foot Source

One foot (ft).

ångström :: Fractional f => Value f LengthDimension Ångström Source

One ångström (Å).

angstrom :: Fractional f => Value f LengthDimension Ångström Source

One ångström, for those with bad UTF-8 support (Å).

nautical_mile :: Fractional f => Value f LengthDimension NauticalMile Source

One nautical mile (M).

barn :: Fractional f => Value f AreaUnit Barn Source

One barn (b).

liter :: Fractional f => Value f VolumeUnit Liter Source

One liter (L).

gallon :: Fractional f => Value f VolumeUnit Gallon Source

One gallon (gallon).

fluid_ounce :: Fractional f => Value f VolumeUnit FluidOunce Source

One fluid ounce (fl oz).