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

Description

This module defines survey measures as used in the USA. Note that a survey foot is ever so slightly different from a standard foot.

Included are all units mentioned here: http://en.wikipedia.org/wiki/United_States_customary_units Where possible, conversion rates have been independently verified at a US government website. However, Wikipedia's base is much better organized than any government resource immediately available. The US government references used are as follows: http://nist.gov/pml/wmd/metric/upload/SP1038.pdf http://nist.gov/pml/wmd/pubs/upload/appc-14-hb44-final.pdf

Synopsis

data Foot = Foot
data Link = Link
data Rod = Rod
data Chain = Chain
data Furlong = Furlong
data Mile = Mile
data League = League
surveyLengths :: [Name]
data Acre = Acre
data Section = Section
data Township = Township
surveyAreas :: [Name]

Documentation

data Foot Source #

Constructors

Foot

Instances

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

data Link Source #

Constructors

Link

Instances

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

data Rod Source #

Constructors

Rod

Instances

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

data Chain Source #

Constructors

Chain

Instances

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

data Furlong Source #

Constructors

Furlong

Instances

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

data Mile Source #

Constructors

Mile

Instances

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

data League Source #

Constructors

League

Instances

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

surveyLengths :: [Name] Source #

Includes all the lengths above.

data Acre Source #

Constructors

Acre

Instances

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

data Section Source #

Constructors

Section

Instances

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

data Township Source #

Constructors

Township

Instances

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

surveyAreas :: [Name] Source #

Includes all the areas above.