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

Description

Survey units are Gunter's units, so called because thay have been standardised by Edmund Gunter in 1620 at 25 links to the rod, 4 rods to the chain.

Where possible, reference have been made to UK legislation. However, Wikipedia's page is much better organized than any government resource immediately available.

Synopsis

data Rod = Rod
data Link = Link
surveyLengths :: [Name]

Documentation

data Rod Source #

Constructors

Rod

Instances

Instances details

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

data Link Source #

Constructors

Link

Instances

Instances details

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

surveyLengths :: [Name] Source #

Survey lengths: All units above