Copyright	(C) 2013 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg (eir@cis.upenn.edu)
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Units.US

Contents

Lengths
Velocity
Area
Volume
Mass
Pressure
Energy
Power

Description

This module defines the American customary system of units. Because there are some names that are conflicted, even within this system, there are several modules underneath here, defining sub-parts of the US system. This module gathers together a subjective set of units users will commonly wish to use. It also exports type instances DefaultUnitOfDim that use the SI internal representations. This choice is made for inter-compatibility with SI computations. If you want the foot-pound-second system, use the FPS.

Included are all units mentioned here: http://en.wikipedia.org/wiki/United_States_customary_units Where possible, conversion rates have been independently verified at a US government website. However, Wikipedia's base is much better organized than any government resource immediately available. The US government references used are as follows: http://nist.gov/pml/wmd/metric/upload/SP1038.pdf http://nist.gov/pml/wmd/pubs/upload/appc-14-hb44-final.pdf

Synopsis

Lengths

data Angstrom Source

Constructors

Angstrom

Instances

Show Angstrom
Unit Angstrom
type UnitFactorsOf Angstrom = If [Factor ] (IsCanonical Angstrom) ((:) (Factor ) (F * Angstrom One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Angstrom))
type DimOfUnit Angstrom = DimOfUnit (BaseUnit Angstrom)
type BaseUnit Angstrom = (:@) Nano Meter

data Mil Source

Constructors

Mil

Instances

Show Mil
Unit Mil
type UnitFactorsOf Mil = If [Factor ] (IsCanonical Mil) ((:) (Factor ) (F * Mil One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Mil))
type DimOfUnit Mil = DimOfUnit (BaseUnit Mil)
type BaseUnit Mil = Inch

data Point Source

Constructors

Point

Instances

Show Point
Unit Point
type UnitFactorsOf Point = If [Factor ] (IsCanonical Point) ((:) (Factor ) (F * Point One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Point))
type DimOfUnit Point = DimOfUnit (BaseUnit Point)
type BaseUnit Point = Inch

data Pica Source

Constructors

Pica

Instances

Show Pica
Unit Pica
type UnitFactorsOf Pica = If [Factor ] (IsCanonical Pica) ((:) (Factor ) (F * Pica One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Pica))
type DimOfUnit Pica = DimOfUnit (BaseUnit Pica)
type BaseUnit Pica = Point

data Inch Source

Constructors

Inch

Instances

Show Inch
Unit Inch
type UnitFactorsOf Inch = If [Factor ] (IsCanonical Inch) ((:) (Factor ) (F * Inch One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Inch))
type DimOfUnit Inch = DimOfUnit (BaseUnit Inch)
type BaseUnit Inch = Foot

data Foot Source

Constructors

Foot

Instances

Show Foot
Unit Foot
type UnitFactorsOf Foot = If [Factor ] (IsCanonical Foot) ((:) (Factor ) (F * Foot One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Foot))
type DimOfUnit Foot = DimOfUnit (BaseUnit Foot)
type BaseUnit Foot = Meter

data Yard Source

Constructors

Yard

Instances

Show Yard
Unit Yard
type UnitFactorsOf Yard = If [Factor ] (IsCanonical Yard) ((:) (Factor ) (F * Yard One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Yard))
type DimOfUnit Yard = DimOfUnit (BaseUnit Yard)
type BaseUnit Yard = Foot

data Mile Source

Constructors

Mile

Instances

Show Mile
Unit Mile
type UnitFactorsOf Mile = If [Factor ] (IsCanonical Mile) ((:) (Factor ) (F * Mile One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Mile))
type DimOfUnit Mile = DimOfUnit (BaseUnit Mile)
type BaseUnit Mile = Foot

data NauticalMile Source

Constructors

NauticalMile

Instances

Show NauticalMile
Unit NauticalMile
type UnitFactorsOf NauticalMile = If [Factor ] (IsCanonical NauticalMile) ((:) (Factor ) (F * NauticalMile One) ([] (Factor *))) (UnitFactorsOf (BaseUnit NauticalMile))
type DimOfUnit NauticalMile = DimOfUnit (BaseUnit NauticalMile)
type BaseUnit NauticalMile = (:@) Kilo Meter

Velocity

data Knot Source

Constructors

Knot

Instances

Show Knot
Unit Knot
type UnitFactorsOf Knot = If [Factor ] (IsCanonical Knot) ((:) (Factor ) (F * Knot One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Knot))
type DimOfUnit Knot = DimOfUnit (BaseUnit Knot)
type BaseUnit Knot = (:/) NauticalMile Hour

Area

data Acre Source

Constructors

Acre

Instances

Show Acre
Unit Acre
type UnitFactorsOf Acre = If [Factor ] (IsCanonical Acre) ((:) (Factor ) (F * Acre One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Acre))
type DimOfUnit Acre = DimOfUnit (BaseUnit Acre)
type BaseUnit Acre = (:^) Foot Two

Volume

These are all liquid measures. Solid measures are different.

data Teaspoon Source

Constructors

Teaspoon

Instances

Show Teaspoon
Unit Teaspoon
type UnitFactorsOf Teaspoon = If [Factor ] (IsCanonical Teaspoon) ((:) (Factor ) (F * Teaspoon One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Teaspoon))
type DimOfUnit Teaspoon = DimOfUnit (BaseUnit Teaspoon)
type BaseUnit Teaspoon = FluidOunce

data Tablespoon Source

Constructors

Tablespoon

Instances

Show Tablespoon
Unit Tablespoon
type UnitFactorsOf Tablespoon = If [Factor ] (IsCanonical Tablespoon) ((:) (Factor ) (F * Tablespoon One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Tablespoon))
type DimOfUnit Tablespoon = DimOfUnit (BaseUnit Tablespoon)
type BaseUnit Tablespoon = Teaspoon

data FluidOunce Source

Constructors

FluidOunce

Instances

Show FluidOunce
Unit FluidOunce
type UnitFactorsOf FluidOunce = If [Factor ] (IsCanonical FluidOunce) ((:) (Factor ) (F * FluidOunce One) ([] (Factor *))) (UnitFactorsOf (BaseUnit FluidOunce))
type DimOfUnit FluidOunce = DimOfUnit (BaseUnit FluidOunce)
type BaseUnit FluidOunce = Gallon

data Cup Source

Constructors

Cup

Instances

Show Cup
Unit Cup
type UnitFactorsOf Cup = If [Factor ] (IsCanonical Cup) ((:) (Factor ) (F * Cup One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Cup))
type DimOfUnit Cup = DimOfUnit (BaseUnit Cup)
type BaseUnit Cup = FluidOunce

data Pint Source

Constructors

Pint

Instances

Show Pint
Unit Pint
type UnitFactorsOf Pint = If [Factor ] (IsCanonical Pint) ((:) (Factor ) (F * Pint One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Pint))
type DimOfUnit Pint = DimOfUnit (BaseUnit Pint)
type BaseUnit Pint = FluidOunce

data Quart Source

Constructors

Quart

Instances

Show Quart
Unit Quart
type UnitFactorsOf Quart = If [Factor ] (IsCanonical Quart) ((:) (Factor ) (F * Quart One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Quart))
type DimOfUnit Quart = DimOfUnit (BaseUnit Quart)
type BaseUnit Quart = Gallon

data Gallon Source

Constructors

Gallon

Instances

Show Gallon
Unit Gallon
type UnitFactorsOf Gallon = If [Factor ] (IsCanonical Gallon) ((:) (Factor ) (F * Gallon One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Gallon))
type DimOfUnit Gallon = DimOfUnit (BaseUnit Gallon)
type BaseUnit Gallon = (:^) Inch Three

Mass

These are all in the avoirdupois system

data Ounce Source

Constructors

Ounce

Instances

Show Ounce
Unit Ounce
type UnitFactorsOf Ounce = If [Factor ] (IsCanonical Ounce) ((:) (Factor ) (F * Ounce One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Ounce))
type DimOfUnit Ounce = DimOfUnit (BaseUnit Ounce)
type BaseUnit Ounce = Pound

data Pound Source

Constructors

Pound

Instances

Show Pound
Unit Pound
type UnitFactorsOf Pound = If [Factor ] (IsCanonical Pound) ((:) (Factor ) (F * Pound One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Pound))
type DimOfUnit Pound = DimOfUnit (BaseUnit Pound)
type BaseUnit Pound = Gram

data Ton Source

Constructors

Ton

Instances

Show Ton
Unit Ton
type UnitFactorsOf Ton = If [Factor ] (IsCanonical Ton) ((:) (Factor ) (F * Ton One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Ton))
type DimOfUnit Ton = DimOfUnit (BaseUnit Ton)
type BaseUnit Ton = Pound

Pressure

data Atmosphere Source

Constructors

Atmosphere

Instances

Show Atmosphere
Unit Atmosphere
type UnitFactorsOf Atmosphere = If [Factor ] (IsCanonical Atmosphere) ((:) (Factor ) (F * Atmosphere One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Atmosphere))
type DimOfUnit Atmosphere = DimOfUnit (BaseUnit Atmosphere)
type BaseUnit Atmosphere = (:@) Kilo Pascal

data Bar Source

Constructors

Bar

Instances

Show Bar
Unit Bar
type UnitFactorsOf Bar = If [Factor ] (IsCanonical Bar) ((:) (Factor ) (F * Bar One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Bar))
type DimOfUnit Bar = DimOfUnit (BaseUnit Bar)
type BaseUnit Bar = (:@) Kilo Pascal

Energy

data FoodCalorie Source

Constructors

FoodCalorie

Instances

Show FoodCalorie
Unit FoodCalorie
type UnitFactorsOf FoodCalorie = If [Factor ] (IsCanonical FoodCalorie) ((:) (Factor ) (F * FoodCalorie One) ([] (Factor *))) (UnitFactorsOf (BaseUnit FoodCalorie))
type DimOfUnit FoodCalorie = DimOfUnit (BaseUnit FoodCalorie)
type BaseUnit FoodCalorie = (:@) Kilo Calorie

data Therm Source

Constructors

Therm

Instances

Show Therm
Unit Therm
type UnitFactorsOf Therm = If [Factor ] (IsCanonical Therm) ((:) (Factor ) (F * Therm One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Therm))
type DimOfUnit Therm = DimOfUnit (BaseUnit Therm)
type BaseUnit Therm = (:@) Mega Joule

data Btu Source

Constructors

Btu

Instances

Show Btu
Unit Btu
type UnitFactorsOf Btu = If [Factor ] (IsCanonical Btu) ((:) (Factor ) (F * Btu One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Btu))
type DimOfUnit Btu = DimOfUnit (BaseUnit Btu)
type BaseUnit Btu = Joule

Power

data Horsepower Source

Constructors

Horsepower

Instances

Show Horsepower
Unit Horsepower
type UnitFactorsOf Horsepower = If [Factor ] (IsCanonical Horsepower) ((:) (Factor ) (F * Horsepower One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Horsepower))
type DimOfUnit Horsepower = DimOfUnit (BaseUnit Horsepower)
type BaseUnit Horsepower = Watt