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

Description

The traditional area units are defined in reference to the survey ones.

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 Perch = Perch
data Rood = Rood
data Acre = Acre
areas :: [Name]

Documentation

data Perch Source #

Constructors

Perch

Instances

Instances details

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

data Rood Source #

Constructors

Rood

Instances

Instances details

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

data Acre Source #

Constructors

Acre

Instances

Instances details

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

areas :: [Name] Source #

Areas units: All units above