Data.Units.US.Troy

This module defines troy measures of mass. The troy system is most often used when measuring precious metals.

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

Documentation

data Pennyweight

Constructors

Pennyweight

Instances

Show Pennyweight

Unit Pennyweight

type UnitFactorsOf Pennyweight = If [Factor *] (IsCanonical Pennyweight) ((:) (Factor *) (F * Pennyweight One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Pennyweight))

type DimOfUnit Pennyweight = DimOfUnit (BaseUnit Pennyweight)

type BaseUnit Pennyweight = Grain

data Ounce

Constructors

Ounce

Instances

Show Ounce

Unit Ounce

type UnitFactorsOf Ounce = If [Factor *] (IsCanonical Ounce) ((:) (Factor *) (F * Ounce One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Ounce))

type DimOfUnit Ounce = DimOfUnit (BaseUnit Ounce)

type BaseUnit Ounce = Pennyweight

data Pound

Constructors

Pound

Instances

Show Pound

Unit Pound

type UnitFactorsOf Pound = If [Factor *] (IsCanonical Pound) ((:) (Factor *) (F * Pound One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Pound))

type DimOfUnit Pound = DimOfUnit (BaseUnit Pound)

type BaseUnit Pound = Ounce

troyMassMeasures :: [Name]

Includes Grain, Pennyweight, Ounce, and Pound

The avoirdupois grain is the same as the troy grain

data Grain

Constructors

Grain

Instances

Show Grain

Unit Grain

type UnitFactorsOf Grain = If [Factor *] (IsCanonical Grain) ((:) (Factor *) (F * Grain One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Grain))

type DimOfUnit Grain = DimOfUnit (BaseUnit Grain)

type BaseUnit Grain = Pound