geodetics: Terrestrial coordinate systems and geodetic calculations.

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.


Precise geographical coordinates (latitude & longitude), with conversion between different reference frames and projections.

Certain distinguished reference frames and grids are given distinct types so that coordinates expressed within them cannot be confused with from coordinates in other frames.

[Skip to ReadMe]


Versions0.0.1, 0.0.2, 0.0.3, 0.0.4, 0.0.5, 0.0.6, 0.0.6, 0.1.0
Change logNone available
Dependenciesarray (>=0.4), base (>=4.7 && <5), dimensional (>=1.0), semigroups (>=0.9 && <0.19) [details]
CopyrightPaul Johnson 2015.
AuthorPaul Johnson <>
MaintainerPaul Johnson <>
Home page
Source repositoryhead: git clone
UploadedFri Jun 22 07:17:01 UTC 2018 by PaulJohnson




Maintainers' corner

For package maintainers and hackage trustees

Readme for geodetics-0.0.6

[back to package description]


Haskell library of data types and calculations for positions on planet Earth

This library provides "geodetic" positions. That is, latitude, longitude and altitude on a specified Terrestrial Reference Frame (TRF). The basic TRF is the WGS84, which is the one used by GPS and Google Earth. Others can be added by describing the underlying ellipsoid and the difference in angle and centre with WGS84, and a position in one TRF can be transformed into another. Given two points in the same TRF you can find the shortest distance between them and the bearing from one to the other.

Once you have a geodetic position defined you can project it onto a flat plane, or Grid. At present Transverse Mercator and Oblique Stereographic grids are provided. More can be added by defining new instances of the Grid typeclass: see "AddingProjections.txt" for detais.

The Paths module defines a path as a parametric function of distance that returns a position and a bearing. Given two paths you can find their intersection using a fast iterative algorithm.

Release Notes

Version 0.0.2: Tided up cabal file and removed spurious dependency on Parsec.

Version 0.0.3: Updated for Haskell Platform 2014.2.0.0 and GHC 7.8.3. Fixed some minor documentation issues.

Version 0.0.4: Updated for Dimensional 1.0.

Version 0.0.5: Fixed bug in Monoid instance for Helmert. Created Semigroup instance for Helmert.

Version 0.0.6: Prevent attempted building on GHC 7.8 (it doesn't work) and fix the build on 7.10 with a conditional semigroups dependency