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

Documentation

data Pound Source #

Constructors

Pound

Instances

Show Pound Source #
Methods showsPrec :: Int -> Pound -> ShowS # show :: Pound -> String # showList :: [Pound] -> ShowS #
Unit Pound Source #
Associated Types type BaseUnit Pound :: * # type DimOfUnit Pound :: * # type UnitFactorsOf Pound :: [Factor *] # Methods conversionRatio :: Pound -> Rational # canonicalConvRatio :: Pound -> Rational
type UnitFactorsOf Pound Source #
type UnitFactorsOf Pound = If [Factor ] (IsCanonical Pound) ((:) (Factor ) (F * Pound One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Pound))
type DimOfUnit Pound Source #
type DimOfUnit Pound = DimOfUnit (BaseUnit Pound)
type BaseUnit Pound Source #
type BaseUnit Pound = Gram

data Grain Source #

Constructors

Grain

Instances

Show Grain Source #
Methods showsPrec :: Int -> Grain -> ShowS # show :: Grain -> String # showList :: [Grain] -> ShowS #
Unit Grain Source #
Associated Types type BaseUnit Grain :: * # type DimOfUnit Grain :: * # type UnitFactorsOf Grain :: [Factor *] # Methods conversionRatio :: Grain -> Rational # canonicalConvRatio :: Grain -> Rational
type UnitFactorsOf Grain Source #
type UnitFactorsOf Grain = If [Factor ] (IsCanonical Grain) ((:) (Factor ) (F * Grain One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Grain))
type DimOfUnit Grain Source #
type DimOfUnit Grain = DimOfUnit (BaseUnit Grain)
type BaseUnit Grain Source #
type BaseUnit Grain = Pound

data Dram Source #

Constructors

Dram

Instances

Show Dram Source #
Methods showsPrec :: Int -> Dram -> ShowS # show :: Dram -> String # showList :: [Dram] -> ShowS #
Unit Dram Source #
Associated Types type BaseUnit Dram :: * # type DimOfUnit Dram :: * # type UnitFactorsOf Dram :: [Factor *] # Methods conversionRatio :: Dram -> Rational # canonicalConvRatio :: Dram -> Rational
type UnitFactorsOf Dram Source #
type UnitFactorsOf Dram = If [Factor ] (IsCanonical Dram) ((:) (Factor ) (F * Dram One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Dram))
type DimOfUnit Dram Source #
type DimOfUnit Dram = DimOfUnit (BaseUnit Dram)
type BaseUnit Dram Source #
type BaseUnit Dram = Grain

data Ounce Source #

Constructors

Ounce

Instances

Show Ounce Source #
Methods showsPrec :: Int -> Ounce -> ShowS # show :: Ounce -> String # showList :: [Ounce] -> ShowS #
Unit Ounce Source #
Associated Types type BaseUnit Ounce :: * # type DimOfUnit Ounce :: * # type UnitFactorsOf Ounce :: [Factor *] # Methods conversionRatio :: Ounce -> Rational # canonicalConvRatio :: Ounce -> Rational
type UnitFactorsOf Ounce Source #
type UnitFactorsOf Ounce = If [Factor ] (IsCanonical Ounce) ((:) (Factor ) (F * Ounce One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Ounce))
type DimOfUnit Ounce Source #
type DimOfUnit Ounce = DimOfUnit (BaseUnit Ounce)
type BaseUnit Ounce Source #
type BaseUnit Ounce = Pound

data Hundredweight Source #

Constructors

Hundredweight

Instances

Show Hundredweight Source #
Methods showsPrec :: Int -> Hundredweight -> ShowS # show :: Hundredweight -> String # showList :: [Hundredweight] -> ShowS #
Unit Hundredweight Source #
Associated Types type BaseUnit Hundredweight :: * # type DimOfUnit Hundredweight :: * # type UnitFactorsOf Hundredweight :: [Factor *] # Methods conversionRatio :: Hundredweight -> Rational # canonicalConvRatio :: Hundredweight -> Rational
type UnitFactorsOf Hundredweight Source #
type UnitFactorsOf Hundredweight = If [Factor ] (IsCanonical Hundredweight) ((:) (Factor ) (F * Hundredweight One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Hundredweight))
type DimOfUnit Hundredweight Source #
type DimOfUnit Hundredweight = DimOfUnit (BaseUnit Hundredweight)
type BaseUnit Hundredweight Source #
type BaseUnit Hundredweight = Pound

data LongHundredweight Source #

Constructors

LongHundredweight

Instances

Show LongHundredweight Source #
Methods showsPrec :: Int -> LongHundredweight -> ShowS # show :: LongHundredweight -> String # showList :: [LongHundredweight] -> ShowS #
Unit LongHundredweight Source #
Associated Types type BaseUnit LongHundredweight :: * # type DimOfUnit LongHundredweight :: * # type UnitFactorsOf LongHundredweight :: [Factor *] # Methods conversionRatio :: LongHundredweight -> Rational # canonicalConvRatio :: LongHundredweight -> Rational
type UnitFactorsOf LongHundredweight Source #
type UnitFactorsOf LongHundredweight = If [Factor ] (IsCanonical LongHundredweight) ((:) (Factor ) (F * LongHundredweight One) ([] (Factor *))) (UnitFactorsOf (BaseUnit LongHundredweight))
type DimOfUnit LongHundredweight Source #
type DimOfUnit LongHundredweight = DimOfUnit (BaseUnit LongHundredweight)
type BaseUnit LongHundredweight Source #
type BaseUnit LongHundredweight = Pound

data Ton Source #

Constructors

Ton

Instances

Show Ton Source #
Methods showsPrec :: Int -> Ton -> ShowS # show :: Ton -> String # showList :: [Ton] -> ShowS #
Unit Ton Source #
Associated Types type BaseUnit Ton :: * # type DimOfUnit Ton :: * # type UnitFactorsOf Ton :: [Factor *] # Methods conversionRatio :: Ton -> Rational # canonicalConvRatio :: Ton -> Rational
type UnitFactorsOf Ton Source #
type UnitFactorsOf Ton = If [Factor ] (IsCanonical Ton) ((:) (Factor ) (F * Ton One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Ton))
type DimOfUnit Ton Source #
type DimOfUnit Ton = DimOfUnit (BaseUnit Ton)
type BaseUnit Ton Source #
type BaseUnit Ton = Pound

data LongTon Source #

Constructors

LongTon

Instances

Show LongTon Source #
Methods showsPrec :: Int -> LongTon -> ShowS # show :: LongTon -> String # showList :: [LongTon] -> ShowS #
Unit LongTon Source #
Associated Types type BaseUnit LongTon :: * # type DimOfUnit LongTon :: * # type UnitFactorsOf LongTon :: [Factor *] # Methods conversionRatio :: LongTon -> Rational # canonicalConvRatio :: LongTon -> Rational
type UnitFactorsOf LongTon Source #
type UnitFactorsOf LongTon = If [Factor ] (IsCanonical LongTon) ((:) (Factor ) (F * LongTon One) ([] (Factor *))) (UnitFactorsOf (BaseUnit LongTon))
type DimOfUnit LongTon Source #
type DimOfUnit LongTon = DimOfUnit (BaseUnit LongTon)
type BaseUnit LongTon Source #
type BaseUnit LongTon = Pound

commonMassMeasures :: [Name] Source #

Includes Ounce, Pound, Ton

otherMassMeasures :: [Name] Source #

Includes Grain, Dram, Hundredweight, LongHundredweight, and LongTon