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

Description

This module defines liquid volume measures as used in the USA. Note that liquid volumes in the USA differ both from solid volumes in the USA and from liquid volumes in the UK.

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

Documentation

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

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

Constructors

Gill

Instances

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

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

Constructors

Shot

Instances

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

data Minim Source

Constructors

Minim

Instances

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

data Dram Source

Constructors

Dram

Instances

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

data Hogshead Source

Constructors

Hogshead

Instances

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

data Barrel Source

Constructors

Barrel

Instances

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

data OilBarrel Source

Constructors

OilBarrel

Instances

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

commonLiquidMeasures :: [Name] Source

As shown on Wikipedia: http://en.wikipedia.org/wiki/United_States_customary_units

otherLiquidMeasures :: [Name] Source

Includes the rest of the measures in this file.