Copyright | (C) 2013 Richard Eisenberg |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Richard Eisenberg ([email protected]) |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Data.Units.Imperial.Weight
Description
Due to the <https://en.wikipedia.org/wiki/International_yard_and_pound International yard and pound agreement of 1959>, it so happens that Imperial and US customary units of weight have the same base (the international pound at 0.45359237 kilograms). However, if subdivisions are generally the same, Imperial units feature different multiples of the pound, due to the presence of the stone. As in, using English conventions, the hundredweight is the *long* one (the short one is the cental). As is the ton. Also, of the troy system (the international one being, more or less, the avoirdupoids one) only the ounce is legal.
Where possible, reference have been made to UK legislation. However, Wikipedia's page is much better organized than any government resource immediately available.
The UK legislation used as references are as follows: http://www.legislation.gov.uk/ukpga/1985/72/enacted http://www.legislation.gov.uk/uksi/1994/2867/schedule/part/VI/made http://www.legislation.gov.uk/uksi/1995/1804/schedule/made
Documentation
Constructors
Pound |
Instances
Show Pound Source # | |||||||||||||
Unit Pound Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight Associated Types
| |||||||||||||
type BaseUnit Pound Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight | |||||||||||||
type DimOfUnit Pound Source # | |||||||||||||
type UnitFactorsOf Pound Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight |
Constructors
Grain |
Instances
Show Grain Source # | |||||||||||||
Unit Grain Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight Associated Types
| |||||||||||||
type BaseUnit Grain Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight | |||||||||||||
type DimOfUnit Grain Source # | |||||||||||||
type UnitFactorsOf Grain Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight |
Constructors
Dram |
Instances
Show Dram Source # | |||||||||||||
Unit Dram Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight Associated Types
| |||||||||||||
type BaseUnit Dram Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight | |||||||||||||
type DimOfUnit Dram Source # | |||||||||||||
type UnitFactorsOf Dram Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight |
Constructors
Ounce |
Instances
Show Ounce Source # | |||||||||||||
Unit Ounce Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight Associated Types
| |||||||||||||
type BaseUnit Ounce Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight | |||||||||||||
type DimOfUnit Ounce Source # | |||||||||||||
type UnitFactorsOf Ounce Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight |
Constructors
TroyOunce |
Instances
Show TroyOunce Source # | |||||||||||||
Unit TroyOunce Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight Associated Types
| |||||||||||||
type BaseUnit TroyOunce Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight | |||||||||||||
type DimOfUnit TroyOunce Source # | |||||||||||||
type UnitFactorsOf TroyOunce Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight type UnitFactorsOf TroyOunce = If (IsCanonical TroyOunce) '['F TroyOunce One] (UnitFactorsOf (BaseUnit TroyOunce)) |
Constructors
Stone |
Instances
Show Stone Source # | |||||||||||||
Unit Stone Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight Associated Types
| |||||||||||||
type BaseUnit Stone Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight | |||||||||||||
type DimOfUnit Stone Source # | |||||||||||||
type UnitFactorsOf Stone Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight |
Constructors
Quarter |
Instances
Show Quarter Source # | |||||||||||||
Unit Quarter Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight Associated Types
| |||||||||||||
type BaseUnit Quarter Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight | |||||||||||||
type DimOfUnit Quarter Source # | |||||||||||||
type UnitFactorsOf Quarter Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight type UnitFactorsOf Quarter = If (IsCanonical Quarter) '['F Quarter One] (UnitFactorsOf (BaseUnit Quarter)) |
Constructors
Cental |
Instances
Show Cental Source # | |||||||||||||
Unit Cental Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight Associated Types
| |||||||||||||
type BaseUnit Cental Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight | |||||||||||||
type DimOfUnit Cental Source # | |||||||||||||
type UnitFactorsOf Cental Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight type UnitFactorsOf Cental = If (IsCanonical Cental) '['F Cental One] (UnitFactorsOf (BaseUnit Cental)) |
data Hundredweight Source #
Constructors
Hundredweight |
Instances
Show Hundredweight Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight Methods showsPrec :: Int -> Hundredweight -> ShowS # show :: Hundredweight -> String # showList :: [Hundredweight] -> ShowS # | |||||||||||||
Unit Hundredweight Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight Associated Types
Methods | |||||||||||||
type BaseUnit Hundredweight Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight | |||||||||||||
type DimOfUnit Hundredweight Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight | |||||||||||||
type UnitFactorsOf Hundredweight Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight type UnitFactorsOf Hundredweight = If (IsCanonical Hundredweight) '['F Hundredweight One] (UnitFactorsOf (BaseUnit Hundredweight)) |
Constructors
Ton |
Instances
Show Ton Source # | |||||||||||||
Unit Ton Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight Associated Types
| |||||||||||||
type BaseUnit Ton Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight | |||||||||||||
type DimOfUnit Ton Source # | |||||||||||||
type UnitFactorsOf Ton Source # | |||||||||||||
Defined in Data.Units.Imperial.Weight |