Copyright	(C) 2013 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg (rae@cs.brynmawr.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

data Gallon = Gallon
data FluidOunce = FluidOunce
data Gill = Gill
data Cup = Cup
data Pint = Pint
data Quart = Quart
data Teaspoon = Teaspoon
data Tablespoon = Tablespoon
data Shot = Shot
data Minim = Minim
data Dram = Dram
data Hogshead = Hogshead
data Barrel = Barrel
data OilBarrel = OilBarrel
commonLiquidMeasures :: [Name]
otherLiquidMeasures :: [Name]

Documentation

data Gallon Source #

Constructors

Gallon

Instances

Show Gallon Source #
Instance details Defined in Data.Units.US.Liquid Methods showsPrec :: Int -> Gallon -> ShowS # show :: Gallon -> String # showList :: [Gallon] -> ShowS #
Unit Gallon Source #
Instance details Defined in Data.Units.US.Liquid Associated Types type BaseUnit Gallon :: Type # type DimOfUnit Gallon :: Type # type UnitFactorsOf Gallon :: [Factor Type] # Methods conversionRatio :: Gallon -> Rational # canonicalConvRatio :: Gallon -> Rational
type UnitFactorsOf Gallon Source #
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf Gallon = If (IsCanonical Gallon) (F Gallon One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Gallon))
type DimOfUnit Gallon Source #
Instance details Defined in Data.Units.US.Liquid type DimOfUnit Gallon = DimOfUnit (BaseUnit Gallon)
type BaseUnit Gallon Source #
Instance details Defined in Data.Units.US.Liquid type BaseUnit Gallon = Inch :^ Three

data FluidOunce Source #

Constructors

FluidOunce

Instances

Show FluidOunce Source #
Instance details Defined in Data.Units.US.Liquid Methods showsPrec :: Int -> FluidOunce -> ShowS # show :: FluidOunce -> String # showList :: [FluidOunce] -> ShowS #
Unit FluidOunce Source #
Instance details Defined in Data.Units.US.Liquid Associated Types type BaseUnit FluidOunce :: Type # type DimOfUnit FluidOunce :: Type # type UnitFactorsOf FluidOunce :: [Factor Type] # Methods conversionRatio :: FluidOunce -> Rational # canonicalConvRatio :: FluidOunce -> Rational
type UnitFactorsOf FluidOunce Source #
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf FluidOunce = If (IsCanonical FluidOunce) (F FluidOunce One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit FluidOunce))
type DimOfUnit FluidOunce Source #
Instance details Defined in Data.Units.US.Liquid type DimOfUnit FluidOunce = DimOfUnit (BaseUnit FluidOunce)
type BaseUnit FluidOunce Source #
Instance details Defined in Data.Units.US.Liquid type BaseUnit FluidOunce = Gallon

data Gill Source #

Constructors

Gill

Instances

Show Gill Source #
Instance details Defined in Data.Units.US.Liquid Methods showsPrec :: Int -> Gill -> ShowS # show :: Gill -> String # showList :: [Gill] -> ShowS #
Unit Gill Source #
Instance details Defined in Data.Units.US.Liquid Associated Types type BaseUnit Gill :: Type # type DimOfUnit Gill :: Type # type UnitFactorsOf Gill :: [Factor Type] # Methods conversionRatio :: Gill -> Rational # canonicalConvRatio :: Gill -> Rational
type UnitFactorsOf Gill Source #
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf Gill = If (IsCanonical Gill) (F Gill One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Gill))
type DimOfUnit Gill Source #
Instance details Defined in Data.Units.US.Liquid type DimOfUnit Gill = DimOfUnit (BaseUnit Gill)
type BaseUnit Gill Source #
Instance details Defined in Data.Units.US.Liquid type BaseUnit Gill = FluidOunce

data Cup Source #

Constructors

Cup

Instances

Show Cup Source #
Instance details Defined in Data.Units.US.Liquid Methods showsPrec :: Int -> Cup -> ShowS # show :: Cup -> String # showList :: [Cup] -> ShowS #
Unit Cup Source #
Instance details Defined in Data.Units.US.Liquid Associated Types type BaseUnit Cup :: Type # type DimOfUnit Cup :: Type # type UnitFactorsOf Cup :: [Factor Type] # Methods conversionRatio :: Cup -> Rational # canonicalConvRatio :: Cup -> Rational
type UnitFactorsOf Cup Source #
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf Cup = If (IsCanonical Cup) (F Cup One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Cup))
type DimOfUnit Cup Source #
Instance details Defined in Data.Units.US.Liquid type DimOfUnit Cup = DimOfUnit (BaseUnit Cup)
type BaseUnit Cup Source #
Instance details Defined in Data.Units.US.Liquid type BaseUnit Cup = FluidOunce

data Pint Source #

Constructors

Pint

Instances

Show Pint Source #
Instance details Defined in Data.Units.US.Liquid Methods showsPrec :: Int -> Pint -> ShowS # show :: Pint -> String # showList :: [Pint] -> ShowS #
Unit Pint Source #
Instance details Defined in Data.Units.US.Liquid Associated Types type BaseUnit Pint :: Type # type DimOfUnit Pint :: Type # type UnitFactorsOf Pint :: [Factor Type] # Methods conversionRatio :: Pint -> Rational # canonicalConvRatio :: Pint -> Rational
type UnitFactorsOf Pint Source #
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf Pint = If (IsCanonical Pint) (F Pint One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Pint))
type DimOfUnit Pint Source #
Instance details Defined in Data.Units.US.Liquid type DimOfUnit Pint = DimOfUnit (BaseUnit Pint)
type BaseUnit Pint Source #
Instance details Defined in Data.Units.US.Liquid type BaseUnit Pint = FluidOunce

data Quart Source #

Constructors

Quart

Instances

Show Quart Source #
Instance details Defined in Data.Units.US.Liquid Methods showsPrec :: Int -> Quart -> ShowS # show :: Quart -> String # showList :: [Quart] -> ShowS #
Unit Quart Source #
Instance details Defined in Data.Units.US.Liquid Associated Types type BaseUnit Quart :: Type # type DimOfUnit Quart :: Type # type UnitFactorsOf Quart :: [Factor Type] # Methods conversionRatio :: Quart -> Rational # canonicalConvRatio :: Quart -> Rational
type UnitFactorsOf Quart Source #
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf Quart = If (IsCanonical Quart) (F Quart One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Quart))
type DimOfUnit Quart Source #
Instance details Defined in Data.Units.US.Liquid type DimOfUnit Quart = DimOfUnit (BaseUnit Quart)
type BaseUnit Quart Source #
Instance details Defined in Data.Units.US.Liquid type BaseUnit Quart = Gallon

data Teaspoon Source #

Constructors

Teaspoon

Instances

Show Teaspoon Source #
Instance details Defined in Data.Units.US.Liquid Methods showsPrec :: Int -> Teaspoon -> ShowS # show :: Teaspoon -> String # showList :: [Teaspoon] -> ShowS #
Unit Teaspoon Source #
Instance details Defined in Data.Units.US.Liquid Associated Types type BaseUnit Teaspoon :: Type # type DimOfUnit Teaspoon :: Type # type UnitFactorsOf Teaspoon :: [Factor Type] # Methods conversionRatio :: Teaspoon -> Rational # canonicalConvRatio :: Teaspoon -> Rational
type UnitFactorsOf Teaspoon Source #
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf Teaspoon = If (IsCanonical Teaspoon) (F Teaspoon One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Teaspoon))
type DimOfUnit Teaspoon Source #
Instance details Defined in Data.Units.US.Liquid type DimOfUnit Teaspoon = DimOfUnit (BaseUnit Teaspoon)
type BaseUnit Teaspoon Source #
Instance details Defined in Data.Units.US.Liquid type BaseUnit Teaspoon = FluidOunce

data Tablespoon Source #

Constructors

Tablespoon

Instances

Show Tablespoon Source #
Instance details Defined in Data.Units.US.Liquid Methods showsPrec :: Int -> Tablespoon -> ShowS # show :: Tablespoon -> String # showList :: [Tablespoon] -> ShowS #
Unit Tablespoon Source #
Instance details Defined in Data.Units.US.Liquid Associated Types type BaseUnit Tablespoon :: Type # type DimOfUnit Tablespoon :: Type # type UnitFactorsOf Tablespoon :: [Factor Type] # Methods conversionRatio :: Tablespoon -> Rational # canonicalConvRatio :: Tablespoon -> Rational
type UnitFactorsOf Tablespoon Source #
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf Tablespoon = If (IsCanonical Tablespoon) (F Tablespoon One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Tablespoon))
type DimOfUnit Tablespoon Source #
Instance details Defined in Data.Units.US.Liquid type DimOfUnit Tablespoon = DimOfUnit (BaseUnit Tablespoon)
type BaseUnit Tablespoon Source #
Instance details Defined in Data.Units.US.Liquid type BaseUnit Tablespoon = Teaspoon

data Shot Source #

Constructors

Shot

Instances

Show Shot Source #
Instance details Defined in Data.Units.US.Liquid Methods showsPrec :: Int -> Shot -> ShowS # show :: Shot -> String # showList :: [Shot] -> ShowS #
Unit Shot Source #
Instance details Defined in Data.Units.US.Liquid Associated Types type BaseUnit Shot :: Type # type DimOfUnit Shot :: Type # type UnitFactorsOf Shot :: [Factor Type] # Methods conversionRatio :: Shot -> Rational # canonicalConvRatio :: Shot -> Rational
type UnitFactorsOf Shot Source #
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf Shot = If (IsCanonical Shot) (F Shot One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Shot))
type DimOfUnit Shot Source #
Instance details Defined in Data.Units.US.Liquid type DimOfUnit Shot = DimOfUnit (BaseUnit Shot)
type BaseUnit Shot Source #
Instance details Defined in Data.Units.US.Liquid type BaseUnit Shot = Tablespoon

data Minim Source #

Constructors

Minim

Instances

Show Minim Source #
Instance details Defined in Data.Units.US.Liquid Methods showsPrec :: Int -> Minim -> ShowS # show :: Minim -> String # showList :: [Minim] -> ShowS #
Unit Minim Source #
Instance details Defined in Data.Units.US.Liquid Associated Types type BaseUnit Minim :: Type # type DimOfUnit Minim :: Type # type UnitFactorsOf Minim :: [Factor Type] # Methods conversionRatio :: Minim -> Rational # canonicalConvRatio :: Minim -> Rational
type UnitFactorsOf Minim Source #
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf Minim = If (IsCanonical Minim) (F Minim One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Minim))
type DimOfUnit Minim Source #
Instance details Defined in Data.Units.US.Liquid type DimOfUnit Minim = DimOfUnit (BaseUnit Minim)
type BaseUnit Minim Source #
Instance details Defined in Data.Units.US.Liquid type BaseUnit Minim = Teaspoon

data Dram Source #

Constructors

Dram

Instances

Show Dram Source #
Instance details Defined in Data.Units.US.Liquid Methods showsPrec :: Int -> Dram -> ShowS # show :: Dram -> String # showList :: [Dram] -> ShowS #
Unit Dram Source #
Instance details Defined in Data.Units.US.Liquid Associated Types type BaseUnit Dram :: Type # type DimOfUnit Dram :: Type # type UnitFactorsOf Dram :: [Factor Type] # Methods conversionRatio :: Dram -> Rational # canonicalConvRatio :: Dram -> Rational
type UnitFactorsOf Dram Source #
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf Dram = If (IsCanonical Dram) (F Dram One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Dram))
type DimOfUnit Dram Source #
Instance details Defined in Data.Units.US.Liquid type DimOfUnit Dram = DimOfUnit (BaseUnit Dram)
type BaseUnit Dram Source #
Instance details Defined in Data.Units.US.Liquid type BaseUnit Dram = Minim

data Hogshead Source #

Constructors

Hogshead

Instances

Show Hogshead Source #
Instance details Defined in Data.Units.US.Liquid Methods showsPrec :: Int -> Hogshead -> ShowS # show :: Hogshead -> String # showList :: [Hogshead] -> ShowS #
Unit Hogshead Source #
Instance details Defined in Data.Units.US.Liquid Associated Types type BaseUnit Hogshead :: Type # type DimOfUnit Hogshead :: Type # type UnitFactorsOf Hogshead :: [Factor Type] # Methods conversionRatio :: Hogshead -> Rational # canonicalConvRatio :: Hogshead -> Rational
type UnitFactorsOf Hogshead Source #
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf Hogshead = If (IsCanonical Hogshead) (F Hogshead One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Hogshead))
type DimOfUnit Hogshead Source #
Instance details Defined in Data.Units.US.Liquid type DimOfUnit Hogshead = DimOfUnit (BaseUnit Hogshead)
type BaseUnit Hogshead Source #
Instance details Defined in Data.Units.US.Liquid type BaseUnit Hogshead = Gallon

data Barrel Source #

Constructors

Barrel

Instances

Show Barrel Source #
Instance details Defined in Data.Units.US.Liquid Methods showsPrec :: Int -> Barrel -> ShowS # show :: Barrel -> String # showList :: [Barrel] -> ShowS #
Unit Barrel Source #
Instance details Defined in Data.Units.US.Liquid Associated Types type BaseUnit Barrel :: Type # type DimOfUnit Barrel :: Type # type UnitFactorsOf Barrel :: [Factor Type] # Methods conversionRatio :: Barrel -> Rational # canonicalConvRatio :: Barrel -> Rational
type UnitFactorsOf Barrel Source #
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf Barrel = If (IsCanonical Barrel) (F Barrel One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Barrel))
type DimOfUnit Barrel Source #
Instance details Defined in Data.Units.US.Liquid type DimOfUnit Barrel = DimOfUnit (BaseUnit Barrel)
type BaseUnit Barrel Source #
Instance details Defined in Data.Units.US.Liquid type BaseUnit Barrel = Hogshead

data OilBarrel Source #

Constructors

OilBarrel

Instances

Show OilBarrel Source #
Instance details Defined in Data.Units.US.Liquid Methods showsPrec :: Int -> OilBarrel -> ShowS # show :: OilBarrel -> String # showList :: [OilBarrel] -> ShowS #
Unit OilBarrel Source #
Instance details Defined in Data.Units.US.Liquid Associated Types type BaseUnit OilBarrel :: Type # type DimOfUnit OilBarrel :: Type # type UnitFactorsOf OilBarrel :: [Factor Type] # Methods conversionRatio :: OilBarrel -> Rational # canonicalConvRatio :: OilBarrel -> Rational
type UnitFactorsOf OilBarrel Source #
Instance details Defined in Data.Units.US.Liquid type UnitFactorsOf OilBarrel = If (IsCanonical OilBarrel) (F OilBarrel One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit OilBarrel))
type DimOfUnit OilBarrel Source #
Instance details Defined in Data.Units.US.Liquid type DimOfUnit OilBarrel = DimOfUnit (BaseUnit OilBarrel)
type BaseUnit OilBarrel Source #
Instance details Defined in Data.Units.US.Liquid 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.