Copyright	(C) 2013 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg ([email protected])
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

Instances details

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
Instance details Defined in Data.Units.US.Survey type BaseUnit Foot = Meter
type DimOfUnit Foot
Instance details Defined in Data.Units.US.Survey type DimOfUnit Foot = DimOfUnit (BaseUnit Foot)
type UnitFactorsOf Foot
Instance details Defined in Data.Units.US.Survey type UnitFactorsOf Foot = If (IsCanonical Foot) '['F Foot One] (UnitFactorsOf (BaseUnit Foot))

Methods

conversionRatio :: Foot -> Rational #

canonicalConvRatio :: Foot -> Rational

type BaseUnit Foot Source #

Instance details

Defined in Data.Units.US.Survey

type BaseUnit Foot = Meter

type DimOfUnit Foot Source #

Instance details

Defined in Data.Units.US.Survey

type DimOfUnit Foot = DimOfUnit (BaseUnit Foot)

type UnitFactorsOf Foot Source #

Instance details

Defined in Data.Units.US.Survey

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

data Link Source #

Constructors

Link

Instances

Instances details

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
Instance details Defined in Data.Units.US.Survey type BaseUnit Link = Foot
type DimOfUnit Link
Instance details Defined in Data.Units.US.Survey type DimOfUnit Link = DimOfUnit (BaseUnit Link)
type UnitFactorsOf Link
Instance details Defined in Data.Units.US.Survey type UnitFactorsOf Link = If (IsCanonical Link) '['F Link One] (UnitFactorsOf (BaseUnit Link))

Methods

conversionRatio :: Link -> Rational #

canonicalConvRatio :: Link -> Rational

type BaseUnit Link Source #

Instance details

Defined in Data.Units.US.Survey

type BaseUnit Link = Foot

type DimOfUnit Link Source #

Instance details

Defined in Data.Units.US.Survey

type DimOfUnit Link = DimOfUnit (BaseUnit Link)

type UnitFactorsOf Link Source #

Instance details

Defined in Data.Units.US.Survey

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

data Rod Source #

Constructors

Rod

Instances

Instances details

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
Instance details Defined in Data.Units.US.Survey type BaseUnit Rod = Link
type DimOfUnit Rod
Instance details Defined in Data.Units.US.Survey type DimOfUnit Rod = DimOfUnit (BaseUnit Rod)
type UnitFactorsOf Rod
Instance details Defined in Data.Units.US.Survey type UnitFactorsOf Rod = If (IsCanonical Rod) '['F Rod One] (UnitFactorsOf (BaseUnit Rod))

Methods

conversionRatio :: Rod -> Rational #

canonicalConvRatio :: Rod -> Rational

type BaseUnit Rod Source #

Instance details

Defined in Data.Units.US.Survey

type BaseUnit Rod = Link

type DimOfUnit Rod Source #

Instance details

Defined in Data.Units.US.Survey

type DimOfUnit Rod = DimOfUnit (BaseUnit Rod)

type UnitFactorsOf Rod Source #

Instance details

Defined in Data.Units.US.Survey

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

data Chain Source #

Constructors

Chain

Instances

Instances details

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
Instance details Defined in Data.Units.US.Survey type BaseUnit Chain = Rod
type DimOfUnit Chain
Instance details Defined in Data.Units.US.Survey type DimOfUnit Chain = DimOfUnit (BaseUnit Chain)
type UnitFactorsOf Chain
Instance details Defined in Data.Units.US.Survey type UnitFactorsOf Chain = If (IsCanonical Chain) '['F Chain One] (UnitFactorsOf (BaseUnit Chain))

Methods

conversionRatio :: Chain -> Rational #

canonicalConvRatio :: Chain -> Rational

type BaseUnit Chain Source #

Instance details

Defined in Data.Units.US.Survey

type BaseUnit Chain = Rod

type DimOfUnit Chain Source #

Instance details

Defined in Data.Units.US.Survey

type DimOfUnit Chain = DimOfUnit (BaseUnit Chain)

type UnitFactorsOf Chain Source #

Instance details

Defined in Data.Units.US.Survey

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

data Furlong Source #

Constructors

Furlong

Instances

Instances details

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
Instance details Defined in Data.Units.US.Survey type BaseUnit Furlong = Chain
type DimOfUnit Furlong
Instance details Defined in Data.Units.US.Survey type DimOfUnit Furlong = DimOfUnit (BaseUnit Furlong)
type UnitFactorsOf Furlong
Instance details Defined in Data.Units.US.Survey type UnitFactorsOf Furlong = If (IsCanonical Furlong) '['F Furlong One] (UnitFactorsOf (BaseUnit Furlong))

Methods

conversionRatio :: Furlong -> Rational #

canonicalConvRatio :: Furlong -> Rational

type BaseUnit Furlong Source #

Instance details

Defined in Data.Units.US.Survey

type BaseUnit Furlong = Chain

type DimOfUnit Furlong Source #

Instance details

Defined in Data.Units.US.Survey

type DimOfUnit Furlong = DimOfUnit (BaseUnit Furlong)

type UnitFactorsOf Furlong Source #

Instance details

Defined in Data.Units.US.Survey

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

data Mile Source #

Constructors

Mile

Instances

Instances details

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
Instance details Defined in Data.Units.US.Survey type BaseUnit Mile = Furlong
type DimOfUnit Mile
Instance details Defined in Data.Units.US.Survey type DimOfUnit Mile = DimOfUnit (BaseUnit Mile)
type UnitFactorsOf Mile
Instance details Defined in Data.Units.US.Survey type UnitFactorsOf Mile = If (IsCanonical Mile) '['F Mile One] (UnitFactorsOf (BaseUnit Mile))

Methods

conversionRatio :: Mile -> Rational #

canonicalConvRatio :: Mile -> Rational

type BaseUnit Mile Source #

Instance details

Defined in Data.Units.US.Survey

type BaseUnit Mile = Furlong

type DimOfUnit Mile Source #

Instance details

Defined in Data.Units.US.Survey

type DimOfUnit Mile = DimOfUnit (BaseUnit Mile)

type UnitFactorsOf Mile Source #

Instance details

Defined in Data.Units.US.Survey

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

data League Source #

Constructors

League

Instances

Instances details

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
Instance details Defined in Data.Units.US.Survey type BaseUnit League = Mile
type DimOfUnit League
Instance details Defined in Data.Units.US.Survey type DimOfUnit League = DimOfUnit (BaseUnit League)
type UnitFactorsOf League
Instance details Defined in Data.Units.US.Survey type UnitFactorsOf League = If (IsCanonical League) '['F League One] (UnitFactorsOf (BaseUnit League))

Methods

conversionRatio :: League -> Rational #

canonicalConvRatio :: League -> Rational

type BaseUnit League Source #

Instance details

Defined in Data.Units.US.Survey

type BaseUnit League = Mile

type DimOfUnit League Source #

Instance details

Defined in Data.Units.US.Survey

type DimOfUnit League = DimOfUnit (BaseUnit League)

type UnitFactorsOf League Source #

Instance details

Defined in Data.Units.US.Survey

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

surveyLengths :: [Name] Source #

Includes all the lengths above.

data Acre Source #

Constructors

Acre

Instances

Instances details

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
Instance details Defined in Data.Units.US.Survey type BaseUnit Acre = Foot :^ Two
type DimOfUnit Acre
Instance details Defined in Data.Units.US.Survey type DimOfUnit Acre = DimOfUnit (BaseUnit Acre)
type UnitFactorsOf Acre
Instance details Defined in Data.Units.US.Survey type UnitFactorsOf Acre = If (IsCanonical Acre) '['F Acre One] (UnitFactorsOf (BaseUnit Acre))

Methods

conversionRatio :: Acre -> Rational #

canonicalConvRatio :: Acre -> Rational

type BaseUnit Acre Source #

Instance details

Defined in Data.Units.US.Survey

type BaseUnit Acre = Foot :^ Two

type DimOfUnit Acre Source #

Instance details

Defined in Data.Units.US.Survey

type DimOfUnit Acre = DimOfUnit (BaseUnit Acre)

type UnitFactorsOf Acre Source #

Instance details

Defined in Data.Units.US.Survey

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

data Section Source #

Constructors

Section

Instances

Instances details

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
Instance details Defined in Data.Units.US.Survey type BaseUnit Section = Acre
type DimOfUnit Section
Instance details Defined in Data.Units.US.Survey type DimOfUnit Section = DimOfUnit (BaseUnit Section)
type UnitFactorsOf Section
Instance details Defined in Data.Units.US.Survey type UnitFactorsOf Section = If (IsCanonical Section) '['F Section One] (UnitFactorsOf (BaseUnit Section))

Methods

conversionRatio :: Section -> Rational #

canonicalConvRatio :: Section -> Rational

type BaseUnit Section Source #

Instance details

Defined in Data.Units.US.Survey

type BaseUnit Section = Acre

type DimOfUnit Section Source #

Instance details

Defined in Data.Units.US.Survey

type DimOfUnit Section = DimOfUnit (BaseUnit Section)

type UnitFactorsOf Section Source #

Instance details

Defined in Data.Units.US.Survey

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

data Township Source #

Constructors

Township

Instances

Instances details

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
Instance details Defined in Data.Units.US.Survey type BaseUnit Township = Section
type DimOfUnit Township
Instance details Defined in Data.Units.US.Survey type DimOfUnit Township = DimOfUnit (BaseUnit Township)
type UnitFactorsOf Township
Instance details Defined in Data.Units.US.Survey type UnitFactorsOf Township = If (IsCanonical Township) '['F Township One] (UnitFactorsOf (BaseUnit Township))

Methods

conversionRatio :: Township -> Rational #

canonicalConvRatio :: Township -> Rational

type BaseUnit Township Source #

Instance details

Defined in Data.Units.US.Survey

type BaseUnit Township = Section

type DimOfUnit Township Source #

Instance details

Defined in Data.Units.US.Survey

type DimOfUnit Township = DimOfUnit (BaseUnit Township)

type UnitFactorsOf Township Source #

Instance details

Defined in Data.Units.US.Survey

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

surveyAreas :: [Name] Source #

Includes all the areas above.