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

Description

This module defines dry volume measures as used in the USA.

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 Quart = Quart
data Pint = Pint
data Peck = Peck
data Bushel = Bushel
data Barrel = Barrel
data Cord = Cord
data BoardFoot = BoardFoot
data RegisterTon = RegisterTon
data CranberryBarrel = CranberryBarrel
dryVolumeMeasures :: [Name]

Documentation

data Gallon Source #

Constructors

Gallon

Instances

Show Gallon Source #
Instance details Defined in Data.Units.US.DryVolume Methods showsPrec :: Int -> Gallon -> ShowS # show :: Gallon -> String # showList :: [Gallon] -> ShowS #
Unit Gallon Source #
Instance details Defined in Data.Units.US.DryVolume 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.DryVolume 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.DryVolume type DimOfUnit Gallon = DimOfUnit (BaseUnit Gallon)
type BaseUnit Gallon Source #
Instance details Defined in Data.Units.US.DryVolume type BaseUnit Gallon = Inch :^ Three

data Quart Source #

Constructors

Quart

Instances

Show Quart Source #
Instance details Defined in Data.Units.US.DryVolume Methods showsPrec :: Int -> Quart -> ShowS # show :: Quart -> String # showList :: [Quart] -> ShowS #
Unit Quart Source #
Instance details Defined in Data.Units.US.DryVolume 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.DryVolume 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.DryVolume type DimOfUnit Quart = DimOfUnit (BaseUnit Quart)
type BaseUnit Quart Source #
Instance details Defined in Data.Units.US.DryVolume type BaseUnit Quart = Gallon

data Pint Source #

Constructors

Pint

Instances

Show Pint Source #
Instance details Defined in Data.Units.US.DryVolume Methods showsPrec :: Int -> Pint -> ShowS # show :: Pint -> String # showList :: [Pint] -> ShowS #
Unit Pint Source #
Instance details Defined in Data.Units.US.DryVolume 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.DryVolume 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.DryVolume type DimOfUnit Pint = DimOfUnit (BaseUnit Pint)
type BaseUnit Pint Source #
Instance details Defined in Data.Units.US.DryVolume type BaseUnit Pint = Quart

data Peck Source #

Constructors

Peck

Instances

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

data Bushel Source #

Constructors

Bushel

Instances

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

data Barrel Source #

Constructors

Barrel

Instances

Show Barrel Source #
Instance details Defined in Data.Units.US.DryVolume Methods showsPrec :: Int -> Barrel -> ShowS # show :: Barrel -> String # showList :: [Barrel] -> ShowS #
Unit Barrel Source #
Instance details Defined in Data.Units.US.DryVolume 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.DryVolume 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.DryVolume type DimOfUnit Barrel = DimOfUnit (BaseUnit Barrel)
type BaseUnit Barrel Source #
Instance details Defined in Data.Units.US.DryVolume type BaseUnit Barrel = Inch :^ Three

data Cord Source #

Constructors

Cord

Instances

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

data BoardFoot Source #

Constructors

BoardFoot

Instances

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

data RegisterTon Source #

Constructors

RegisterTon

Instances

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

data CranberryBarrel Source #

Constructors

CranberryBarrel

Instances

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

dryVolumeMeasures :: [Name] Source #

Includes all measures in this file, except CranberryBarrel.