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

Description

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

Included are all units mentioned here: http:/en.wikipedia.orgwiki/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.govpmlwmdmetricuploadSP1038.pdf http:/nist.govpmlwmdpubsuploadappc-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 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 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 = Quart

data Peck Source

Constructors

Peck

Instances

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

data Bushel Source

Constructors

Bushel

Instances

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

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 = (:^) Inch Three

data Cord Source

Constructors

Cord

Instances

Show Cord
Unit Cord
type UnitFactorsOf Cord = If [Factor ] (IsCanonical Cord) ((:) (Factor ) (F * Cord One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Cord))
type DimOfUnit Cord = DimOfUnit (BaseUnit Cord)
type BaseUnit Cord = (:^) Foot Three

data BoardFoot Source

Constructors

BoardFoot

Instances

Show BoardFoot
Unit BoardFoot
type UnitFactorsOf BoardFoot = If [Factor ] (IsCanonical BoardFoot) ((:) (Factor ) (F * BoardFoot One) ([] (Factor *))) (UnitFactorsOf (BaseUnit BoardFoot))
type DimOfUnit BoardFoot = DimOfUnit (BaseUnit BoardFoot)
type BaseUnit BoardFoot = (:^) Foot Three

data RegisterTon Source

Constructors

RegisterTon

Instances

Show RegisterTon
Unit RegisterTon
type UnitFactorsOf RegisterTon = If [Factor ] (IsCanonical RegisterTon) ((:) (Factor ) (F * RegisterTon One) ([] (Factor *))) (UnitFactorsOf (BaseUnit RegisterTon))
type DimOfUnit RegisterTon = DimOfUnit (BaseUnit RegisterTon)
type BaseUnit RegisterTon = (:^) Foot Three

data CranberryBarrel Source

Constructors

CranberryBarrel

Instances

Show CranberryBarrel
Unit CranberryBarrel
type UnitFactorsOf CranberryBarrel = If [Factor ] (IsCanonical CranberryBarrel) ((:) (Factor ) (F * CranberryBarrel One) ([] (Factor *))) (UnitFactorsOf (BaseUnit CranberryBarrel))
type DimOfUnit CranberryBarrel = DimOfUnit (BaseUnit CranberryBarrel)
type BaseUnit CranberryBarrel = (:^) Inch Three

dryVolumeMeasures :: [Name] Source

Includes all measures in this file, except CranberryBarrel.