jord-0.3.0.0: Geographical Position Calculations

Copyright(c) 2018 Cedric Liegeois
LicenseBSD3
MaintainerCedric Liegeois <ofmooseandmen@yahoo.fr>
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Data.Geo.Jord.Earth

Contents

Description

Ellipsoidal and derived spherical earth models.

Synopsis

Documentation

data Earth Source #

Earth model: ellipsoidal or spherical.

Instances
Eq Earth Source # 
Instance details

Defined in Data.Geo.Jord.Earth

Methods

(==) :: Earth -> Earth -> Bool #

(/=) :: Earth -> Earth -> Bool #

Show Earth Source # 
Instance details

Defined in Data.Geo.Jord.Earth

Methods

showsPrec :: Int -> Earth -> ShowS #

show :: Earth -> String #

showList :: [Earth] -> ShowS #

data Ellipsoid Source #

Primary ellipsoid parameters.

Constructors

Ellipsoid 

Fields

Instances
Eq Ellipsoid Source # 
Instance details

Defined in Data.Geo.Jord.Earth

Show Ellipsoid Source # 
Instance details

Defined in Data.Geo.Jord.Earth

eccentricity :: Earth -> Double Source #

Computes the eccentricity of the given Earth model.

meanRadius :: Earth -> Length Source #

Computes the mean radius of the given Earth model.

This radius can be used for geodetic calculations assuming a spherical earth model.

polarRadius :: Earth -> Length Source #

Computes the polar radius or semi-minor axis (b) of the given Earth model.

spherical :: Earth -> Earth Source #

Spherical model derived from given model.

Reference ellipsoids.

wgs84 :: Earth Source #

World Geodetic System WGS84 ellipsoid.

grs80 :: Earth Source #

Geodetic Reference System 1980 ellipsoid.

wgs72 :: Earth Source #

World Geodetic System WGS72 ellipsoid.

Spherical models dervived from reference ellipsoids.

s84 :: Earth Source #

Spherical earth model derived from wgs84.

s80 :: Earth Source #

Spherical earth model derived from grs80.

s72 :: Earth Source #

Spherical earth model derived from wgs72.

r84 :: Length Source #

Mean earth radius derived from the wgs84 ellipsoid.

r80 :: Length Source #

Mean earth radius derived from the grs80 ellipsoid.

r72 :: Length Source #

Mean earth radius derived from the wgs72 ellipsoid.