Copyright	(C) 2013 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg (rae@cs.brynmawr.edu)
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Units.Imperial.Length

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 length have the same base (the international yard at 0.9144 meters). However, if subdivisions are generally the same, Imperial units feature multiples of the yard that US customary ones generally don't (e.g. the Imperial furlong is defined by reference to the international yard, not the US survey one).

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

Synopsis

data Thou = Thou
data Inch = Inch
data Foot = Foot
data Yard = Yard
data Chain = Chain
data Furlong = Furlong
data Mile = Mile
data League = League
data Hand = Hand
commonLengths :: [Name]
otherLengths :: [Name]

Documentation

data Thou Source #

Constructors

Thou

Instances

Instances details

Show Thou Source #
Instance details Defined in Data.Units.Imperial.Length Methods showsPrec :: Int -> Thou -> ShowS # show :: Thou -> String # showList :: [Thou] -> ShowS #
Unit Thou Source #
Instance details Defined in Data.Units.Imperial.Length Associated Types type BaseUnit Thou # type DimOfUnit Thou # type UnitFactorsOf Thou :: [Factor Type] # Methods conversionRatio :: Thou -> Rational # canonicalConvRatio :: Thou -> Rational
type UnitFactorsOf Thou Source #
Instance details Defined in Data.Units.Imperial.Length type UnitFactorsOf Thou = If (IsCanonical Thou) '['F Thou One] (UnitFactorsOf (BaseUnit Thou))
type DimOfUnit Thou Source #
Instance details Defined in Data.Units.Imperial.Length type DimOfUnit Thou = DimOfUnit (BaseUnit Thou)
type BaseUnit Thou Source #
Instance details Defined in Data.Units.Imperial.Length type BaseUnit Thou = Mil

data Inch Source #

Constructors

Inch

Instances

Instances details

Show Inch Source #
Instance details Defined in Data.Units.Imperial.Length Methods showsPrec :: Int -> Inch -> ShowS # show :: Inch -> String # showList :: [Inch] -> ShowS #
Unit Inch Source #
Instance details Defined in Data.Units.Imperial.Length Associated Types type BaseUnit Inch # type DimOfUnit Inch # type UnitFactorsOf Inch :: [Factor Type] # Methods conversionRatio :: Inch -> Rational # canonicalConvRatio :: Inch -> Rational
type UnitFactorsOf Inch Source #
Instance details Defined in Data.Units.Imperial.Length type UnitFactorsOf Inch = If (IsCanonical Inch) '['F Inch One] (UnitFactorsOf (BaseUnit Inch))
type DimOfUnit Inch Source #
Instance details Defined in Data.Units.Imperial.Length type DimOfUnit Inch = DimOfUnit (BaseUnit Inch)
type BaseUnit Inch Source #
Instance details Defined in Data.Units.Imperial.Length type BaseUnit Inch = Inch

data Foot Source #

Constructors

Foot

Instances

Instances details

Show Foot Source #
Instance details Defined in Data.Units.Imperial.Length Methods showsPrec :: Int -> Foot -> ShowS # show :: Foot -> String # showList :: [Foot] -> ShowS #
Unit Foot Source #
Instance details Defined in Data.Units.Imperial.Length Associated Types type BaseUnit Foot # type DimOfUnit Foot # type UnitFactorsOf Foot :: [Factor Type] # Methods conversionRatio :: Foot -> Rational # canonicalConvRatio :: Foot -> Rational
type UnitFactorsOf Foot Source #
Instance details Defined in Data.Units.Imperial.Length type UnitFactorsOf Foot = If (IsCanonical Foot) '['F Foot One] (UnitFactorsOf (BaseUnit Foot))
type DimOfUnit Foot Source #
Instance details Defined in Data.Units.Imperial.Length type DimOfUnit Foot = DimOfUnit (BaseUnit Foot)
type BaseUnit Foot Source #
Instance details Defined in Data.Units.Imperial.Length type BaseUnit Foot = Foot

data Yard Source #

Constructors

Yard

Instances

Instances details

Show Yard Source #
Instance details Defined in Data.Units.Imperial.Length Methods showsPrec :: Int -> Yard -> ShowS # show :: Yard -> String # showList :: [Yard] -> ShowS #
Unit Yard Source #
Instance details Defined in Data.Units.Imperial.Length Associated Types type BaseUnit Yard # type DimOfUnit Yard # type UnitFactorsOf Yard :: [Factor Type] # Methods conversionRatio :: Yard -> Rational # canonicalConvRatio :: Yard -> Rational
type UnitFactorsOf Yard Source #
Instance details Defined in Data.Units.Imperial.Length type UnitFactorsOf Yard = If (IsCanonical Yard) '['F Yard One] (UnitFactorsOf (BaseUnit Yard))
type DimOfUnit Yard Source #
Instance details Defined in Data.Units.Imperial.Length type DimOfUnit Yard = DimOfUnit (BaseUnit Yard)
type BaseUnit Yard Source #
Instance details Defined in Data.Units.Imperial.Length type BaseUnit Yard = Yard

data Chain Source #

Constructors

Chain

Instances

Instances details

Show Chain Source #
Instance details Defined in Data.Units.Imperial.Length Methods showsPrec :: Int -> Chain -> ShowS # show :: Chain -> String # showList :: [Chain] -> ShowS #
Unit Chain Source #
Instance details Defined in Data.Units.Imperial.Length Associated Types type BaseUnit Chain # type DimOfUnit Chain # type UnitFactorsOf Chain :: [Factor Type] # Methods conversionRatio :: Chain -> Rational # canonicalConvRatio :: Chain -> Rational
type UnitFactorsOf Chain Source #
Instance details Defined in Data.Units.Imperial.Length type UnitFactorsOf Chain = If (IsCanonical Chain) '['F Chain One] (UnitFactorsOf (BaseUnit Chain))
type DimOfUnit Chain Source #
Instance details Defined in Data.Units.Imperial.Length type DimOfUnit Chain = DimOfUnit (BaseUnit Chain)
type BaseUnit Chain Source #
Instance details Defined in Data.Units.Imperial.Length type BaseUnit Chain = Yard

data Furlong Source #

Constructors

Furlong

Instances

Instances details

Show Furlong Source #
Instance details Defined in Data.Units.Imperial.Length Methods showsPrec :: Int -> Furlong -> ShowS # show :: Furlong -> String # showList :: [Furlong] -> ShowS #
Unit Furlong Source #
Instance details Defined in Data.Units.Imperial.Length Associated Types type BaseUnit Furlong # type DimOfUnit Furlong # type UnitFactorsOf Furlong :: [Factor Type] # Methods conversionRatio :: Furlong -> Rational # canonicalConvRatio :: Furlong -> Rational
type UnitFactorsOf Furlong Source #
Instance details Defined in Data.Units.Imperial.Length type UnitFactorsOf Furlong = If (IsCanonical Furlong) '['F Furlong One] (UnitFactorsOf (BaseUnit Furlong))
type DimOfUnit Furlong Source #
Instance details Defined in Data.Units.Imperial.Length type DimOfUnit Furlong = DimOfUnit (BaseUnit Furlong)
type BaseUnit Furlong Source #
Instance details Defined in Data.Units.Imperial.Length type BaseUnit Furlong = Chain

data Mile Source #

Constructors

Mile

Instances

Instances details

Show Mile Source #
Instance details Defined in Data.Units.Imperial.Length Methods showsPrec :: Int -> Mile -> ShowS # show :: Mile -> String # showList :: [Mile] -> ShowS #
Unit Mile Source #
Instance details Defined in Data.Units.Imperial.Length Associated Types type BaseUnit Mile # type DimOfUnit Mile # type UnitFactorsOf Mile :: [Factor Type] # Methods conversionRatio :: Mile -> Rational # canonicalConvRatio :: Mile -> Rational
type UnitFactorsOf Mile Source #
Instance details Defined in Data.Units.Imperial.Length type UnitFactorsOf Mile = If (IsCanonical Mile) '['F Mile One] (UnitFactorsOf (BaseUnit Mile))
type DimOfUnit Mile Source #
Instance details Defined in Data.Units.Imperial.Length type DimOfUnit Mile = DimOfUnit (BaseUnit Mile)
type BaseUnit Mile Source #
Instance details Defined in Data.Units.Imperial.Length type BaseUnit Mile = Mile

data League Source #

Constructors

League

Instances

Instances details

Show League Source #
Instance details Defined in Data.Units.Imperial.Length Methods showsPrec :: Int -> League -> ShowS # show :: League -> String # showList :: [League] -> ShowS #
Unit League Source #
Instance details Defined in Data.Units.Imperial.Length Associated Types type BaseUnit League # type DimOfUnit League # type UnitFactorsOf League :: [Factor Type] # Methods conversionRatio :: League -> Rational # canonicalConvRatio :: League -> Rational
type UnitFactorsOf League Source #
Instance details Defined in Data.Units.Imperial.Length type UnitFactorsOf League = If (IsCanonical League) '['F League One] (UnitFactorsOf (BaseUnit League))
type DimOfUnit League Source #
Instance details Defined in Data.Units.Imperial.Length type DimOfUnit League = DimOfUnit (BaseUnit League)
type BaseUnit League Source #
Instance details Defined in Data.Units.Imperial.Length type BaseUnit League = Mile

data Hand Source #

Constructors

Hand

Instances

Instances details

Show Hand Source #
Instance details Defined in Data.Units.Imperial.Length Methods showsPrec :: Int -> Hand -> ShowS # show :: Hand -> String # showList :: [Hand] -> ShowS #
Unit Hand Source #
Instance details Defined in Data.Units.Imperial.Length Associated Types type BaseUnit Hand # type DimOfUnit Hand # type UnitFactorsOf Hand :: [Factor Type] # Methods conversionRatio :: Hand -> Rational # canonicalConvRatio :: Hand -> Rational
type UnitFactorsOf Hand Source #
Instance details Defined in Data.Units.Imperial.Length type UnitFactorsOf Hand = If (IsCanonical Hand) '['F Hand One] (UnitFactorsOf (BaseUnit Hand))
type DimOfUnit Hand Source #
Instance details Defined in Data.Units.Imperial.Length type DimOfUnit Hand = DimOfUnit (BaseUnit Hand)
type BaseUnit Hand Source #
Instance details Defined in Data.Units.Imperial.Length type BaseUnit Hand = Inch

commonLengths :: [Name] Source #

Common lengths units: Foot, Inch, Yard, and Mile

otherLengths :: [Name] Source #

Other lengths units: Thou, Hand, Chain, Furlong and League