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

Documentation

data Pennyweight

Constructors

Pennyweight

Instances

Show Pennyweight

Defined in Data.Units.US.Troy

Methods

showsPrec :: Int -> Pennyweight -> ShowS

show :: Pennyweight -> String

showList :: [Pennyweight] -> ShowS

Unit Pennyweight

Defined in Data.Units.US.Troy

Associated Types

type BaseUnit Pennyweight :: Type

type DimOfUnit Pennyweight :: Type

type UnitFactorsOf Pennyweight :: [Factor Type]

Methods

conversionRatio :: Pennyweight -> Rational

canonicalConvRatio :: Pennyweight -> Rational

type UnitFactorsOf Pennyweight

Defined in Data.Units.US.Troy

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

type DimOfUnit Pennyweight

Defined in Data.Units.US.Troy

type DimOfUnit Pennyweight = DimOfUnit (BaseUnit Pennyweight)

type BaseUnit Pennyweight

Defined in Data.Units.US.Troy

type BaseUnit Pennyweight = Grain

data Ounce

Constructors

Ounce

Instances

Show Ounce

Defined in Data.Units.US.Troy

Methods

showsPrec :: Int -> Ounce -> ShowS

show :: Ounce -> String

showList :: [Ounce] -> ShowS

Unit Ounce

Defined in Data.Units.US.Troy

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

Defined in Data.Units.US.Troy

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

type DimOfUnit Ounce

Defined in Data.Units.US.Troy

type DimOfUnit Ounce = DimOfUnit (BaseUnit Ounce)

type BaseUnit Ounce

Defined in Data.Units.US.Troy

type BaseUnit Ounce = Pennyweight

data Pound

Constructors

Pound

Instances

Show Pound

Defined in Data.Units.US.Troy

Methods

showsPrec :: Int -> Pound -> ShowS

show :: Pound -> String

showList :: [Pound] -> ShowS

Unit Pound

Defined in Data.Units.US.Troy

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

Defined in Data.Units.US.Troy

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

type DimOfUnit Pound

Defined in Data.Units.US.Troy

type DimOfUnit Pound = DimOfUnit (BaseUnit Pound)

type BaseUnit Pound

Defined in Data.Units.US.Troy

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

Defined in Data.Units.US.Avoirdupois

Methods

showsPrec :: Int -> Grain -> ShowS

show :: Grain -> String

showList :: [Grain] -> ShowS

Unit Grain

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

Defined in Data.Units.US.Avoirdupois

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

type DimOfUnit Grain

Defined in Data.Units.US.Avoirdupois

type DimOfUnit Grain = DimOfUnit (BaseUnit Grain)

type BaseUnit Grain

Defined in Data.Units.US.Avoirdupois

type BaseUnit Grain = Pound