Copyright	(C) 2013 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg (eir@cis.upenn.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

Documentation

data Foot Source

Constructors

Foot

Instances

Show Foot
Unit Foot
type UnitFactorsOf Foot = If [Factor ] (IsCanonical Foot) ((:) (Factor ) (F * Foot One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Foot))
type DimOfUnit Foot = DimOfUnit (BaseUnit Foot)
type BaseUnit Foot = Meter

data Link Source

Constructors

Link

Instances

Show Link
Unit Link
type UnitFactorsOf Link = If [Factor ] (IsCanonical Link) ((:) (Factor ) (F * Link One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Link))
type DimOfUnit Link = DimOfUnit (BaseUnit Link)
type BaseUnit Link = Foot

data Rod Source

Constructors

Rod

Instances

Show Rod
Unit Rod
type UnitFactorsOf Rod = If [Factor ] (IsCanonical Rod) ((:) (Factor ) (F * Rod One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Rod))
type DimOfUnit Rod = DimOfUnit (BaseUnit Rod)
type BaseUnit Rod = Link

data Chain Source

Constructors

Chain

Instances

Show Chain
Unit Chain
type UnitFactorsOf Chain = If [Factor ] (IsCanonical Chain) ((:) (Factor ) (F * Chain One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Chain))
type DimOfUnit Chain = DimOfUnit (BaseUnit Chain)
type BaseUnit Chain = Rod

data Furlong Source

Constructors

Furlong

Instances

Show Furlong
Unit Furlong
type UnitFactorsOf Furlong = If [Factor ] (IsCanonical Furlong) ((:) (Factor ) (F * Furlong One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Furlong))
type DimOfUnit Furlong = DimOfUnit (BaseUnit Furlong)
type BaseUnit Furlong = Chain

data Mile Source

Constructors

Mile

Instances

Show Mile
Unit Mile
type UnitFactorsOf Mile = If [Factor ] (IsCanonical Mile) ((:) (Factor ) (F * Mile One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Mile))
type DimOfUnit Mile = DimOfUnit (BaseUnit Mile)
type BaseUnit Mile = Furlong

data League Source

Constructors

League

Instances

Show League
Unit League
type UnitFactorsOf League = If [Factor ] (IsCanonical League) ((:) (Factor ) (F * League One) ([] (Factor *))) (UnitFactorsOf (BaseUnit League))
type DimOfUnit League = DimOfUnit (BaseUnit League)
type BaseUnit League = Mile

surveyLengths :: [Name] Source

Includes all the lengths above.

data Acre Source

Constructors

Acre

Instances

Show Acre
Unit Acre
type UnitFactorsOf Acre = If [Factor ] (IsCanonical Acre) ((:) (Factor ) (F * Acre One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Acre))
type DimOfUnit Acre = DimOfUnit (BaseUnit Acre)
type BaseUnit Acre = (:^) Foot Two

data Section Source

Constructors

Section

Instances

Show Section
Unit Section
type UnitFactorsOf Section = If [Factor ] (IsCanonical Section) ((:) (Factor ) (F * Section One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Section))
type DimOfUnit Section = DimOfUnit (BaseUnit Section)
type BaseUnit Section = Acre

data Township Source

Constructors

Township

Instances

Show Township
Unit Township
type UnitFactorsOf Township = If [Factor ] (IsCanonical Township) ((:) (Factor ) (F * Township One) ([] (Factor *))) (UnitFactorsOf (BaseUnit Township))
type DimOfUnit Township = DimOfUnit (BaseUnit Township)
type BaseUnit Township = Section

surveyAreas :: [Name] Source

Includes all the areas above.