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 Source #
Methods showsPrec :: Int -> Gallon -> ShowS # show :: Gallon -> String # showList :: [Gallon] -> ShowS #
Unit Gallon Source #
Associated Types type BaseUnit Gallon :: * # type DimOfUnit Gallon :: * # type UnitFactorsOf Gallon :: [Factor *] # Methods conversionRatio :: Gallon -> Rational # canonicalConvRatio :: Gallon -> Rational
type UnitFactorsOf Gallon Source #
type UnitFactorsOf Gallon = If [Factor ] (IsCanonical Gallon) ((:) (Factor ) (F * Gallon One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Gallon))
type DimOfUnit Gallon Source #
type DimOfUnit Gallon = DimOfUnit (BaseUnit Gallon)
type BaseUnit Gallon Source #
type BaseUnit Gallon = (:^) Inch Three

data FluidOunce Source #

Constructors

FluidOunce

Instances

Show FluidOunce Source #
Methods showsPrec :: Int -> FluidOunce -> ShowS # show :: FluidOunce -> String # showList :: [FluidOunce] -> ShowS #
Unit FluidOunce Source #
Associated Types type BaseUnit FluidOunce :: * # type DimOfUnit FluidOunce :: * # type UnitFactorsOf FluidOunce :: [Factor *] # Methods conversionRatio :: FluidOunce -> Rational # canonicalConvRatio :: FluidOunce -> Rational
type UnitFactorsOf FluidOunce Source #
type UnitFactorsOf FluidOunce = If [Factor ] (IsCanonical FluidOunce) ((:) (Factor ) (F * FluidOunce One) ([] (Factor *))) (UnitFactorsOf (BaseUnit FluidOunce))
type DimOfUnit FluidOunce Source #
type DimOfUnit FluidOunce = DimOfUnit (BaseUnit FluidOunce)
type BaseUnit FluidOunce Source #
type BaseUnit FluidOunce = Gallon

data Gill Source #

Constructors

Gill

Instances

Show Gill Source #
Methods showsPrec :: Int -> Gill -> ShowS # show :: Gill -> String # showList :: [Gill] -> ShowS #
Unit Gill Source #
Associated Types type BaseUnit Gill :: * # type DimOfUnit Gill :: * # type UnitFactorsOf Gill :: [Factor *] # Methods conversionRatio :: Gill -> Rational # canonicalConvRatio :: Gill -> Rational
type UnitFactorsOf Gill Source #
type UnitFactorsOf Gill = If [Factor ] (IsCanonical Gill) ((:) (Factor ) (F * Gill One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Gill))
type DimOfUnit Gill Source #
type DimOfUnit Gill = DimOfUnit (BaseUnit Gill)
type BaseUnit Gill Source #
type BaseUnit Gill = FluidOunce

data Cup Source #

Constructors

Cup

Instances

Show Cup Source #
Methods showsPrec :: Int -> Cup -> ShowS # show :: Cup -> String # showList :: [Cup] -> ShowS #
Unit Cup Source #
Associated Types type BaseUnit Cup :: * # type DimOfUnit Cup :: * # type UnitFactorsOf Cup :: [Factor *] # Methods conversionRatio :: Cup -> Rational # canonicalConvRatio :: Cup -> Rational
type UnitFactorsOf Cup Source #
type UnitFactorsOf Cup = If [Factor ] (IsCanonical Cup) ((:) (Factor ) (F * Cup One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Cup))
type DimOfUnit Cup Source #
type DimOfUnit Cup = DimOfUnit (BaseUnit Cup)
type BaseUnit Cup Source #
type BaseUnit Cup = FluidOunce

data Pint Source #

Constructors

Pint

Instances

Show Pint Source #
Methods showsPrec :: Int -> Pint -> ShowS # show :: Pint -> String # showList :: [Pint] -> ShowS #
Unit Pint Source #
Associated Types type BaseUnit Pint :: * # type DimOfUnit Pint :: * # type UnitFactorsOf Pint :: [Factor *] # Methods conversionRatio :: Pint -> Rational # canonicalConvRatio :: Pint -> Rational
type UnitFactorsOf Pint Source #
type UnitFactorsOf Pint = If [Factor ] (IsCanonical Pint) ((:) (Factor ) (F * Pint One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Pint))
type DimOfUnit Pint Source #
type DimOfUnit Pint = DimOfUnit (BaseUnit Pint)
type BaseUnit Pint Source #
type BaseUnit Pint = FluidOunce

data Quart Source #

Constructors

Quart

Instances

Show Quart Source #
Methods showsPrec :: Int -> Quart -> ShowS # show :: Quart -> String # showList :: [Quart] -> ShowS #
Unit Quart Source #
Associated Types type BaseUnit Quart :: * # type DimOfUnit Quart :: * # type UnitFactorsOf Quart :: [Factor *] # Methods conversionRatio :: Quart -> Rational # canonicalConvRatio :: Quart -> Rational
type UnitFactorsOf Quart Source #
type UnitFactorsOf Quart = If [Factor ] (IsCanonical Quart) ((:) (Factor ) (F * Quart One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Quart))
type DimOfUnit Quart Source #
type DimOfUnit Quart = DimOfUnit (BaseUnit Quart)
type BaseUnit Quart Source #
type BaseUnit Quart = Gallon

data Teaspoon Source #

Constructors

Teaspoon

Instances

Show Teaspoon Source #
Methods showsPrec :: Int -> Teaspoon -> ShowS # show :: Teaspoon -> String # showList :: [Teaspoon] -> ShowS #
Unit Teaspoon Source #
Associated Types type BaseUnit Teaspoon :: * # type DimOfUnit Teaspoon :: * # type UnitFactorsOf Teaspoon :: [Factor *] # Methods conversionRatio :: Teaspoon -> Rational # canonicalConvRatio :: Teaspoon -> Rational
type UnitFactorsOf Teaspoon Source #
type UnitFactorsOf Teaspoon = If [Factor ] (IsCanonical Teaspoon) ((:) (Factor ) (F * Teaspoon One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Teaspoon))
type DimOfUnit Teaspoon Source #
type DimOfUnit Teaspoon = DimOfUnit (BaseUnit Teaspoon)
type BaseUnit Teaspoon Source #
type BaseUnit Teaspoon = FluidOunce

data Tablespoon Source #

Constructors

Tablespoon

Instances

Show Tablespoon Source #
Methods showsPrec :: Int -> Tablespoon -> ShowS # show :: Tablespoon -> String # showList :: [Tablespoon] -> ShowS #
Unit Tablespoon Source #
Associated Types type BaseUnit Tablespoon :: * # type DimOfUnit Tablespoon :: * # type UnitFactorsOf Tablespoon :: [Factor *] # Methods conversionRatio :: Tablespoon -> Rational # canonicalConvRatio :: Tablespoon -> Rational
type UnitFactorsOf Tablespoon Source #
type UnitFactorsOf Tablespoon = If [Factor ] (IsCanonical Tablespoon) ((:) (Factor ) (F * Tablespoon One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Tablespoon))
type DimOfUnit Tablespoon Source #
type DimOfUnit Tablespoon = DimOfUnit (BaseUnit Tablespoon)
type BaseUnit Tablespoon Source #
type BaseUnit Tablespoon = Teaspoon

data Shot Source #

Constructors

Shot

Instances

Show Shot Source #
Methods showsPrec :: Int -> Shot -> ShowS # show :: Shot -> String # showList :: [Shot] -> ShowS #
Unit Shot Source #
Associated Types type BaseUnit Shot :: * # type DimOfUnit Shot :: * # type UnitFactorsOf Shot :: [Factor *] # Methods conversionRatio :: Shot -> Rational # canonicalConvRatio :: Shot -> Rational
type UnitFactorsOf Shot Source #
type UnitFactorsOf Shot = If [Factor ] (IsCanonical Shot) ((:) (Factor ) (F * Shot One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Shot))
type DimOfUnit Shot Source #
type DimOfUnit Shot = DimOfUnit (BaseUnit Shot)
type BaseUnit Shot Source #
type BaseUnit Shot = Tablespoon

data Minim Source #

Constructors

Minim

Instances

Show Minim Source #
Methods showsPrec :: Int -> Minim -> ShowS # show :: Minim -> String # showList :: [Minim] -> ShowS #
Unit Minim Source #
Associated Types type BaseUnit Minim :: * # type DimOfUnit Minim :: * # type UnitFactorsOf Minim :: [Factor *] # Methods conversionRatio :: Minim -> Rational # canonicalConvRatio :: Minim -> Rational
type UnitFactorsOf Minim Source #
type UnitFactorsOf Minim = If [Factor ] (IsCanonical Minim) ((:) (Factor ) (F * Minim One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Minim))
type DimOfUnit Minim Source #
type DimOfUnit Minim = DimOfUnit (BaseUnit Minim)
type BaseUnit Minim Source #
type BaseUnit Minim = Teaspoon

data Dram Source #

Constructors

Dram

Instances

Show Dram Source #
Methods showsPrec :: Int -> Dram -> ShowS # show :: Dram -> String # showList :: [Dram] -> ShowS #
Unit Dram Source #
Associated Types type BaseUnit Dram :: * # type DimOfUnit Dram :: * # type UnitFactorsOf Dram :: [Factor *] # Methods conversionRatio :: Dram -> Rational # canonicalConvRatio :: Dram -> Rational
type UnitFactorsOf Dram Source #
type UnitFactorsOf Dram = If [Factor ] (IsCanonical Dram) ((:) (Factor ) (F * Dram One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Dram))
type DimOfUnit Dram Source #
type DimOfUnit Dram = DimOfUnit (BaseUnit Dram)
type BaseUnit Dram Source #
type BaseUnit Dram = Minim

data Hogshead Source #

Constructors

Hogshead

Instances

Show Hogshead Source #
Methods showsPrec :: Int -> Hogshead -> ShowS # show :: Hogshead -> String # showList :: [Hogshead] -> ShowS #
Unit Hogshead Source #
Associated Types type BaseUnit Hogshead :: * # type DimOfUnit Hogshead :: * # type UnitFactorsOf Hogshead :: [Factor *] # Methods conversionRatio :: Hogshead -> Rational # canonicalConvRatio :: Hogshead -> Rational
type UnitFactorsOf Hogshead Source #
type UnitFactorsOf Hogshead = If [Factor ] (IsCanonical Hogshead) ((:) (Factor ) (F * Hogshead One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Hogshead))
type DimOfUnit Hogshead Source #
type DimOfUnit Hogshead = DimOfUnit (BaseUnit Hogshead)
type BaseUnit Hogshead Source #
type BaseUnit Hogshead = Gallon

data Barrel Source #

Constructors

Barrel

Instances

Show Barrel Source #
Methods showsPrec :: Int -> Barrel -> ShowS # show :: Barrel -> String # showList :: [Barrel] -> ShowS #
Unit Barrel Source #
Associated Types type BaseUnit Barrel :: * # type DimOfUnit Barrel :: * # type UnitFactorsOf Barrel :: [Factor *] # Methods conversionRatio :: Barrel -> Rational # canonicalConvRatio :: Barrel -> Rational
type UnitFactorsOf Barrel Source #
type UnitFactorsOf Barrel = If [Factor ] (IsCanonical Barrel) ((:) (Factor ) (F * Barrel One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Barrel))
type DimOfUnit Barrel Source #
type DimOfUnit Barrel = DimOfUnit (BaseUnit Barrel)
type BaseUnit Barrel Source #
type BaseUnit Barrel = Hogshead

data OilBarrel Source #

Constructors

OilBarrel

Instances

Show OilBarrel Source #
Methods showsPrec :: Int -> OilBarrel -> ShowS # show :: OilBarrel -> String # showList :: [OilBarrel] -> ShowS #
Unit OilBarrel Source #
Associated Types type BaseUnit OilBarrel :: * # type DimOfUnit OilBarrel :: * # type UnitFactorsOf OilBarrel :: [Factor *] # Methods conversionRatio :: OilBarrel -> Rational # canonicalConvRatio :: OilBarrel -> Rational
type UnitFactorsOf OilBarrel Source #
type UnitFactorsOf OilBarrel = If [Factor ] (IsCanonical OilBarrel) ((:) (Factor ) (F * OilBarrel One) ([] (Factor *))) (UnitFactorsOf (BaseUnit OilBarrel))
type DimOfUnit OilBarrel Source #
type DimOfUnit OilBarrel = DimOfUnit (BaseUnit OilBarrel)
type BaseUnit OilBarrel Source #
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.