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.Misc

Description

This module defines American customary units that don't fit into other categories.

Included are all units mentioned here: http:/en.wikipedia.orgwiki/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.govpmlwmdmetricuploadSP1038.pdf http:/nist.govpmlwmdpubsuploadappc-14-hb44-final.pdf

Synopsis

Documentation

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 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 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 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 Hand Source

Constructors

Hand

Instances

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

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 Fathom Source

Constructors

Fathom

Instances

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

data Cable Source

Constructors

Cable

Instances

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

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

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

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

data MillimeterOfMercury Source

Constructors

MillimeterOfMercury

Instances

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

data Torr Source

Constructors

Torr

Instances

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

data Calorie Source

Constructors

Calorie

Instances

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

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

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

data Rankine Source

Constructors

Rankine

Instances

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

data PoundForce Source

Constructors

PoundForce

Instances

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

data Slug Source

Constructors

Slug

Instances

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

data Oersted Source

Constructors

Oersted

Instances

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

lengths :: [Name] Source

Standard lengths: Foot, Inch, Yard, and Mile

data Maxwell Source

Constructors

Maxwell

Instances

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