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.Imperial.Volume

Description

There's only one set of volume units in the Imperial system, hence the one ´Volume´ module to the two (´Liquid´ and ´DryVolume´) in the US system.

Where possible, reference have been made to UK legislation. However, Wikipedia's page is much better organized than any government resource immediately available.

The UK legislation used as references are as follows: http://www.legislation.gov.uk/ukpga/1985/72/enacted http://www.legislation.gov.uk/uksi/1994/2867/schedule/part/VI/made http://www.legislation.gov.uk/uksi/1995/1804/schedule/made

Synopsis

data Gallon = Gallon
data Quart = Quart
data Pint = Pint
data Gill = Gill
data FluidOunce = FluidOunce
data Cran = Cran
data Bushel = Bushel
commonVolumeMeasures :: [Name]
otherVolumeMeasures :: [Name]

Documentation

data Gallon Source #

Constructors

Gallon

Instances

Instances details

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

data Quart Source #

Constructors

Quart

Instances

Instances details

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

data Pint Source #

Constructors

Pint

Instances

Instances details

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

data Gill Source #

Constructors

Gill

Instances

Instances details

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

data FluidOunce Source #

Constructors

FluidOunce

Instances

Instances details

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

data Cran Source #

Constructors

Cran

Instances

Instances details

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

data Bushel Source #

Constructors

Bushel

Instances

Instances details

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

commonVolumeMeasures :: [Name] Source #

Includes FluidOunce, Pint, Gallon

otherVolumeMeasures :: [Name] Source #

Includes Gill, Quart, Cran and Bushel