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

Description

This module defines avoirdupois measures of mass. The avoirdupois system is the one most commonly used in the US.

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 Pound = Pound
data Grain = Grain
data Dram = Dram
data Ounce = Ounce
data Hundredweight = Hundredweight
data LongHundredweight = LongHundredweight
data Ton = Ton
data LongTon = LongTon
commonMassMeasures :: [Name]
otherMassMeasures :: [Name]

Documentation

data Pound Source #

Constructors

Pound

Instances

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

data Grain Source #

Constructors

Grain

Instances

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

data Dram Source #

Constructors

Dram

Instances

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

data Ounce Source #

Constructors

Ounce

Instances

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

data Hundredweight Source #

Constructors

Hundredweight

Instances

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

data LongHundredweight Source #

Constructors

LongHundredweight

Instances

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

data Ton Source #

Constructors

Ton

Instances

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

data LongTon Source #

Constructors

LongTon

Instances

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

commonMassMeasures :: [Name] Source #

Includes Ounce, Pound, Ton

otherMassMeasures :: [Name] Source #

Includes Grain, Dram, Hundredweight, LongHundredweight, and LongTon