Data.Units.Imperial.Weight

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

data Pound

Constructors

Pound

Instances

Show Pound

Defined in Data.Units.Imperial.Weight

Methods

showsPrec :: Int -> Pound -> ShowS

show :: Pound -> String

showList :: [Pound] -> ShowS

Unit Pound

Defined in Data.Units.Imperial.Weight

Associated Types

type BaseUnit Pound

type DimOfUnit Pound

type UnitFactorsOf Pound :: [Factor Type]

Methods

conversionRatio :: Pound -> Rational

canonicalConvRatio :: Pound -> Rational

type UnitFactorsOf Pound

Defined in Data.Units.Imperial.Weight

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

type DimOfUnit Pound

Defined in Data.Units.Imperial.Weight

type DimOfUnit Pound = DimOfUnit (BaseUnit Pound)

type BaseUnit Pound

Defined in Data.Units.Imperial.Weight

type BaseUnit Pound = Pound

data Grain

Constructors

Grain

Instances

Show Grain

Defined in Data.Units.Imperial.Weight

Methods

showsPrec :: Int -> Grain -> ShowS

show :: Grain -> String

showList :: [Grain] -> ShowS

Unit Grain

Defined in Data.Units.Imperial.Weight

Associated Types

type BaseUnit Grain

type DimOfUnit Grain

type UnitFactorsOf Grain :: [Factor Type]

Methods

conversionRatio :: Grain -> Rational

canonicalConvRatio :: Grain -> Rational

type UnitFactorsOf Grain

Defined in Data.Units.Imperial.Weight

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

type DimOfUnit Grain

Defined in Data.Units.Imperial.Weight

type DimOfUnit Grain = DimOfUnit (BaseUnit Grain)

type BaseUnit Grain

Defined in Data.Units.Imperial.Weight

type BaseUnit Grain = Grain

data Dram

Constructors

Dram

Instances

Show Dram

Defined in Data.Units.Imperial.Weight

Methods

showsPrec :: Int -> Dram -> ShowS

show :: Dram -> String

showList :: [Dram] -> ShowS

Unit Dram

Defined in Data.Units.Imperial.Weight

Associated Types

type BaseUnit Dram

type DimOfUnit Dram

type UnitFactorsOf Dram :: [Factor Type]

Methods

conversionRatio :: Dram -> Rational

canonicalConvRatio :: Dram -> Rational

type UnitFactorsOf Dram

Defined in Data.Units.Imperial.Weight

type UnitFactorsOf Dram = If (IsCanonical Dram) '['F Dram One] (UnitFactorsOf (BaseUnit Dram))

type DimOfUnit Dram

Defined in Data.Units.Imperial.Weight

type DimOfUnit Dram = DimOfUnit (BaseUnit Dram)

type BaseUnit Dram

Defined in Data.Units.Imperial.Weight

type BaseUnit Dram = Dram

data Ounce

Constructors

Ounce

Instances

Show Ounce

Defined in Data.Units.Imperial.Weight

Methods

showsPrec :: Int -> Ounce -> ShowS

show :: Ounce -> String

showList :: [Ounce] -> ShowS

Unit Ounce

Defined in Data.Units.Imperial.Weight

Associated Types

type BaseUnit Ounce

type DimOfUnit Ounce

type UnitFactorsOf Ounce :: [Factor Type]

Methods

conversionRatio :: Ounce -> Rational

canonicalConvRatio :: Ounce -> Rational

type UnitFactorsOf Ounce

Defined in Data.Units.Imperial.Weight

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

type DimOfUnit Ounce

Defined in Data.Units.Imperial.Weight

type DimOfUnit Ounce = DimOfUnit (BaseUnit Ounce)

type BaseUnit Ounce

Defined in Data.Units.Imperial.Weight

type BaseUnit Ounce = Ounce

data TroyOunce

Constructors

TroyOunce

Instances

Show TroyOunce

Defined in Data.Units.Imperial.Weight

Methods

showsPrec :: Int -> TroyOunce -> ShowS

show :: TroyOunce -> String

showList :: [TroyOunce] -> ShowS

Unit TroyOunce

Defined in Data.Units.Imperial.Weight

Associated Types

type BaseUnit TroyOunce

type DimOfUnit TroyOunce

type UnitFactorsOf TroyOunce :: [Factor Type]

Methods

conversionRatio :: TroyOunce -> Rational

canonicalConvRatio :: TroyOunce -> Rational

type UnitFactorsOf TroyOunce

Defined in Data.Units.Imperial.Weight

type UnitFactorsOf TroyOunce = If (IsCanonical TroyOunce) '['F TroyOunce One] (UnitFactorsOf (BaseUnit TroyOunce))

type DimOfUnit TroyOunce

Defined in Data.Units.Imperial.Weight

type DimOfUnit TroyOunce = DimOfUnit (BaseUnit TroyOunce)

type BaseUnit TroyOunce

Defined in Data.Units.Imperial.Weight

type BaseUnit TroyOunce = Gramme

data Stone

Constructors

Stone

Instances

Show Stone

Defined in Data.Units.Imperial.Weight

Methods

showsPrec :: Int -> Stone -> ShowS

show :: Stone -> String

showList :: [Stone] -> ShowS

Unit Stone

Defined in Data.Units.Imperial.Weight

Associated Types

type BaseUnit Stone

type DimOfUnit Stone

type UnitFactorsOf Stone :: [Factor Type]

Methods

conversionRatio :: Stone -> Rational

canonicalConvRatio :: Stone -> Rational

type UnitFactorsOf Stone

Defined in Data.Units.Imperial.Weight

type UnitFactorsOf Stone = If (IsCanonical Stone) '['F Stone One] (UnitFactorsOf (BaseUnit Stone))

type DimOfUnit Stone

Defined in Data.Units.Imperial.Weight

type DimOfUnit Stone = DimOfUnit (BaseUnit Stone)

type BaseUnit Stone

Defined in Data.Units.Imperial.Weight

type BaseUnit Stone = Pound

data Quarter

Constructors

Quarter

Instances

Show Quarter

Defined in Data.Units.Imperial.Weight

Methods

showsPrec :: Int -> Quarter -> ShowS

show :: Quarter -> String

showList :: [Quarter] -> ShowS

Unit Quarter

Defined in Data.Units.Imperial.Weight

Associated Types

type BaseUnit Quarter

type DimOfUnit Quarter

type UnitFactorsOf Quarter :: [Factor Type]

Methods

conversionRatio :: Quarter -> Rational

canonicalConvRatio :: Quarter -> Rational

type UnitFactorsOf Quarter

Defined in Data.Units.Imperial.Weight

type UnitFactorsOf Quarter = If (IsCanonical Quarter) '['F Quarter One] (UnitFactorsOf (BaseUnit Quarter))

type DimOfUnit Quarter

Defined in Data.Units.Imperial.Weight

type DimOfUnit Quarter = DimOfUnit (BaseUnit Quarter)

type BaseUnit Quarter

Defined in Data.Units.Imperial.Weight

type BaseUnit Quarter = Stone

data Cental

Constructors

Cental

Instances

Show Cental

Defined in Data.Units.Imperial.Weight

Methods

showsPrec :: Int -> Cental -> ShowS

show :: Cental -> String

showList :: [Cental] -> ShowS

Unit Cental

Defined in Data.Units.Imperial.Weight

Associated Types

type BaseUnit Cental

type DimOfUnit Cental

type UnitFactorsOf Cental :: [Factor Type]

Methods

conversionRatio :: Cental -> Rational

canonicalConvRatio :: Cental -> Rational

type UnitFactorsOf Cental

Defined in Data.Units.Imperial.Weight

type UnitFactorsOf Cental = If (IsCanonical Cental) '['F Cental One] (UnitFactorsOf (BaseUnit Cental))

type DimOfUnit Cental

Defined in Data.Units.Imperial.Weight

type DimOfUnit Cental = DimOfUnit (BaseUnit Cental)

type BaseUnit Cental

Defined in Data.Units.Imperial.Weight

type BaseUnit Cental = Pound

data Hundredweight

Constructors

Hundredweight

Instances

Show Hundredweight

Defined in Data.Units.Imperial.Weight

Methods

showsPrec :: Int -> Hundredweight -> ShowS

show :: Hundredweight -> String

showList :: [Hundredweight] -> ShowS

Unit Hundredweight

Defined in Data.Units.Imperial.Weight

Associated Types

type BaseUnit Hundredweight

type DimOfUnit Hundredweight

type UnitFactorsOf Hundredweight :: [Factor Type]

Methods

conversionRatio :: Hundredweight -> Rational

canonicalConvRatio :: Hundredweight -> Rational

type UnitFactorsOf Hundredweight

Defined in Data.Units.Imperial.Weight

type UnitFactorsOf Hundredweight = If (IsCanonical Hundredweight) '['F Hundredweight One] (UnitFactorsOf (BaseUnit Hundredweight))

type DimOfUnit Hundredweight

Defined in Data.Units.Imperial.Weight

type DimOfUnit Hundredweight = DimOfUnit (BaseUnit Hundredweight)

type BaseUnit Hundredweight

Defined in Data.Units.Imperial.Weight

type BaseUnit Hundredweight = Quarter

data Ton

Constructors

Ton

Instances

Show Ton

Defined in Data.Units.Imperial.Weight

Methods

showsPrec :: Int -> Ton -> ShowS

show :: Ton -> String

showList :: [Ton] -> ShowS

Unit Ton

Defined in Data.Units.Imperial.Weight

Associated Types

type BaseUnit Ton

type DimOfUnit Ton

type UnitFactorsOf Ton :: [Factor Type]

Methods

conversionRatio :: Ton -> Rational

canonicalConvRatio :: Ton -> Rational

type UnitFactorsOf Ton

Defined in Data.Units.Imperial.Weight

type UnitFactorsOf Ton = If (IsCanonical Ton) '['F Ton One] (UnitFactorsOf (BaseUnit Ton))

type DimOfUnit Ton

Defined in Data.Units.Imperial.Weight

type DimOfUnit Ton = DimOfUnit (BaseUnit Ton)

type BaseUnit Ton

Defined in Data.Units.Imperial.Weight

type BaseUnit Ton = Hundredweight

commonMassMeasures :: [Name]

Includes Ounce, Pound, Ton

otherMassMeasures :: [Name]

Includes Grain, Dram, TroyOunce, Stone, Quarter, Cental and Hundredweight