jord-1.0.0.0: Geographical Position Calculations

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

Data.Geo.Jord.Models

Description

Common ellipsoidal and spherical models.

This module has been generated.

Synopsis

Documentation

data WGS84 Source #

World Geodetic System 1984.

Constructors

WGS84 
Instances
Eq WGS84 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

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

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

Show WGS84 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

showsPrec :: Int -> WGS84 -> ShowS #

show :: WGS84 -> String #

showList :: [WGS84] -> ShowS #

Ellipsoidal WGS84 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model WGS84 Source # 
Instance details

Defined in Data.Geo.Jord.Models

data GRS80 Source #

Geodetic Reference System 1980.

Constructors

GRS80 
Instances
Eq GRS80 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

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

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

Show GRS80 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

showsPrec :: Int -> GRS80 -> ShowS #

show :: GRS80 -> String #

showList :: [GRS80] -> ShowS #

Ellipsoidal GRS80 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model GRS80 Source # 
Instance details

Defined in Data.Geo.Jord.Models

data WGS72 Source #

World Geodetic System 1972.

Constructors

WGS72 
Instances
Eq WGS72 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

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

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

Show WGS72 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

showsPrec :: Int -> WGS72 -> ShowS #

show :: WGS72 -> String #

showList :: [WGS72] -> ShowS #

Ellipsoidal WGS72 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model WGS72 Source # 
Instance details

Defined in Data.Geo.Jord.Models

data ETRS89 Source #

European Terrestrial Reference System 1989.

Constructors

ETRS89 
Instances
Eq ETRS89 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

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

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

Show ETRS89 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Ellipsoidal ETRS89 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model ETRS89 Source # 
Instance details

Defined in Data.Geo.Jord.Models

data NAD83 Source #

North American Datum of 1983.

Constructors

NAD83 
Instances
Eq NAD83 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

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

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

Show NAD83 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

showsPrec :: Int -> NAD83 -> ShowS #

show :: NAD83 -> String #

showList :: [NAD83] -> ShowS #

Ellipsoidal NAD83 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model NAD83 Source # 
Instance details

Defined in Data.Geo.Jord.Models

data ED50 Source #

European Datum 1950.

Constructors

ED50 
Instances
Eq ED50 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

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

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

Show ED50 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

showsPrec :: Int -> ED50 -> ShowS #

show :: ED50 -> String #

showList :: [ED50] -> ShowS #

Ellipsoidal ED50 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model ED50 Source # 
Instance details

Defined in Data.Geo.Jord.Models

data Irl1975 Source #

Irland.

Constructors

Irl1975 
Instances
Eq Irl1975 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

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

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

Show Irl1975 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Ellipsoidal Irl1975 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model Irl1975 Source # 
Instance details

Defined in Data.Geo.Jord.Models

data NAD27 Source #

North American Datum of 1927.

Constructors

NAD27 
Instances
Eq NAD27 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

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

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

Show NAD27 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

showsPrec :: Int -> NAD27 -> ShowS #

show :: NAD27 -> String #

showList :: [NAD27] -> ShowS #

Ellipsoidal NAD27 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model NAD27 Source # 
Instance details

Defined in Data.Geo.Jord.Models

data NTF Source #

NTF (Paris) / France I.

Constructors

NTF 
Instances
Eq NTF Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

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

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

Show NTF Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

showsPrec :: Int -> NTF -> ShowS #

show :: NTF -> String #

showList :: [NTF] -> ShowS #

Ellipsoidal NTF Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model NTF Source # 
Instance details

Defined in Data.Geo.Jord.Models

data OSGB36 Source #

Ordnance Survey Great Britain 1936.

Constructors

OSGB36 
Instances
Eq OSGB36 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

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

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

Show OSGB36 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Ellipsoidal OSGB36 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model OSGB36 Source # 
Instance details

Defined in Data.Geo.Jord.Models

data Potsdam Source #

Geodetic Datum for Germany.

Constructors

Potsdam 
Instances
Eq Potsdam Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

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

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

Show Potsdam Source # 
Instance details

Defined in Data.Geo.Jord.Models

Ellipsoidal Potsdam Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model Potsdam Source # 
Instance details

Defined in Data.Geo.Jord.Models

data Mars2000 Source #

Mars Orbiter Laser Altimeter.

Constructors

Mars2000 

data ITRF2014 Source #

International Terrestrial Reference System (2014).

Constructors

ITRF2014 
Instances
Eq ITRF2014 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Show ITRF2014 Source # 
Instance details

Defined in Data.Geo.Jord.Models

EllipsoidalT0 ITRF2014 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

epoch :: ITRF2014 -> Epoch Source #

Ellipsoidal ITRF2014 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model ITRF2014 Source # 
Instance details

Defined in Data.Geo.Jord.Models

data ITRF2008 Source #

International Terrestrial Reference System (2008).

Constructors

ITRF2008 
Instances
Eq ITRF2008 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Show ITRF2008 Source # 
Instance details

Defined in Data.Geo.Jord.Models

EllipsoidalT0 ITRF2008 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

epoch :: ITRF2008 -> Epoch Source #

Ellipsoidal ITRF2008 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model ITRF2008 Source # 
Instance details

Defined in Data.Geo.Jord.Models

data ITRF2005 Source #

International Terrestrial Reference System (2005).

Constructors

ITRF2005 
Instances
Eq ITRF2005 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Show ITRF2005 Source # 
Instance details

Defined in Data.Geo.Jord.Models

EllipsoidalT0 ITRF2005 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

epoch :: ITRF2005 -> Epoch Source #

Ellipsoidal ITRF2005 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model ITRF2005 Source # 
Instance details

Defined in Data.Geo.Jord.Models

data ITRF2000 Source #

International Terrestrial Reference System (2000).

Constructors

ITRF2000 
Instances
Eq ITRF2000 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Show ITRF2000 Source # 
Instance details

Defined in Data.Geo.Jord.Models

EllipsoidalT0 ITRF2000 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

epoch :: ITRF2000 -> Epoch Source #

Ellipsoidal ITRF2000 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model ITRF2000 Source # 
Instance details

Defined in Data.Geo.Jord.Models

data ITRF93 Source #

International Terrestrial Reference System (93).

Constructors

ITRF93 
Instances
Eq ITRF93 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

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

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

Show ITRF93 Source # 
Instance details

Defined in Data.Geo.Jord.Models

EllipsoidalT0 ITRF93 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

epoch :: ITRF93 -> Epoch Source #

Ellipsoidal ITRF93 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model ITRF93 Source # 
Instance details

Defined in Data.Geo.Jord.Models

data ITRF91 Source #

International Terrestrial Reference System (91).

Constructors

ITRF91 
Instances
Eq ITRF91 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

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

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

Show ITRF91 Source # 
Instance details

Defined in Data.Geo.Jord.Models

EllipsoidalT0 ITRF91 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

epoch :: ITRF91 -> Epoch Source #

Ellipsoidal ITRF91 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model ITRF91 Source # 
Instance details

Defined in Data.Geo.Jord.Models

data WGS84_G1762 Source #

World Geodetic System 1984 (G1762).

Constructors

WGS84_G1762 

data WGS84_G1674 Source #

World Geodetic System 1984 (G1674).

Constructors

WGS84_G1674 

data WGS84_G1150 Source #

World Geodetic System 1984 (G1150).

Constructors

WGS84_G1150 

data ETRF2000 Source #

European Terrestrial Reference System (2000).

Constructors

ETRF2000 
Instances
Eq ETRF2000 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Show ETRF2000 Source # 
Instance details

Defined in Data.Geo.Jord.Models

EllipsoidalT0 ETRF2000 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

epoch :: ETRF2000 -> Epoch Source #

Ellipsoidal ETRF2000 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model ETRF2000 Source # 
Instance details

Defined in Data.Geo.Jord.Models

data NAD83_CORS96 Source #

NAD83 (Continuously Operating Reference Station 1996).

Constructors

NAD83_CORS96 

data GDA94 Source #

Geocentric Datum Of Australia 1994.

Constructors

GDA94 
Instances
Eq GDA94 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

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

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

Show GDA94 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

showsPrec :: Int -> GDA94 -> ShowS #

show :: GDA94 -> String #

showList :: [GDA94] -> ShowS #

EllipsoidalT0 GDA94 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

epoch :: GDA94 -> Epoch Source #

Ellipsoidal GDA94 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model GDA94 Source # 
Instance details

Defined in Data.Geo.Jord.Models

data S84 Source #

Spherical Earth model derived from WGS84 ellipsoid.

Constructors

S84 
Instances
Eq S84 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

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

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

Show S84 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

showsPrec :: Int -> S84 -> ShowS #

show :: S84 -> String #

showList :: [S84] -> ShowS #

Spherical S84 Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model S84 Source # 
Instance details

Defined in Data.Geo.Jord.Models

data SMars2000 Source #

Spherical Mars model derived from Mars2000 ellipsoid.

Constructors

SMars2000 

data Moon Source #

Moon IAU/IAG.

Constructors

Moon 
Instances
Eq Moon Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

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

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

Show Moon Source # 
Instance details

Defined in Data.Geo.Jord.Models

Methods

showsPrec :: Int -> Moon -> ShowS #

show :: Moon -> String #

showList :: [Moon] -> ShowS #

Spherical Moon Source # 
Instance details

Defined in Data.Geo.Jord.Models

Model Moon Source # 
Instance details

Defined in Data.Geo.Jord.Models