Data.Geo.Jord.Earth

Ellipsoidal and derived spherical earth models.

Documentation

data Earth

Earth model: ellipsoidal or spherical.

Constructors

Ellipsoidal Ellipsoid

Spherical Length

Instances

Eq Earth

Defined in Data.Geo.Jord.Earth

Methods

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

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

Show Earth

Defined in Data.Geo.Jord.Earth

Methods

showsPrec :: Int -> Earth -> ShowS

show :: Earth -> String

showList :: [Earth] -> ShowS

data Ellipsoid

Primary ellipsoid parameters.

Constructors

Ellipsoid

Fields

• equatorialRadius :: Length

  equatorial radius or semi-major axis (a).

• inverseFlattening :: Double

  inverse flattening.

Instances

Eq Ellipsoid

Defined in Data.Geo.Jord.Earth

Methods

(==) :: Ellipsoid -> Ellipsoid -> Bool

(/=) :: Ellipsoid -> Ellipsoid -> Bool

Show Ellipsoid

Defined in Data.Geo.Jord.Earth

Methods

showsPrec :: Int -> Ellipsoid -> ShowS

show :: Ellipsoid -> String

showList :: [Ellipsoid] -> ShowS

eccentricity :: Earth -> Double

Computes the eccentricity of the given Earth model.

meanRadius :: Earth -> Length

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

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

spherical :: Earth -> Earth

Spherical model derived from given model.

Reference ellipsoids.

wgs84 :: Earth

World Geodetic System WGS84 ellipsoid.

grs80 :: Earth

Geodetic Reference System 1980 ellipsoid.

wgs72 :: Earth

World Geodetic System WGS72 ellipsoid.

Spherical models dervived from reference ellipsoids.

s84 :: Earth

Spherical earth model derived from wgs84.

s80 :: Earth

Spherical earth model derived from grs80.

s72 :: Earth

Spherical earth model derived from wgs72.

r84 :: Length

Mean earth radius derived from the wgs84 ellipsoid.

r80 :: Length

Mean earth radius derived from the grs80 ellipsoid.

r72 :: Length

Mean earth radius derived from the wgs72 ellipsoid.