Copyright	(c) 2020 Cedric Liegeois
License	BSD3
Maintainer	Cedric Liegeois <ofmooseandmen@yahoo.fr>
Stability	experimental
Portability	portable
Safe Haskell	Safe
Language	Haskell2010

Data.Geo.Jord.Models

Description

Common ellipsoidal and spherical models.

This module has been generated.

Synopsis

data WGS84 = WGS84
data GRS80 = GRS80
data WGS72 = WGS72
data ETRS89 = ETRS89
data NAD83 = NAD83
data ED50 = ED50
data Irl1975 = Irl1975
data NAD27 = NAD27
data NTF = NTF
data OSGB36 = OSGB36
data Potsdam = Potsdam
data TokyoJapan = TokyoJapan
data Mars2000 = Mars2000
data ITRF2014 = ITRF2014
data ITRF2008 = ITRF2008
data ITRF2005 = ITRF2005
data ITRF2000 = ITRF2000
data ITRF93 = ITRF93
data ITRF91 = ITRF91
data WGS84_G1762 = WGS84_G1762
data WGS84_G1674 = WGS84_G1674
data WGS84_G1150 = WGS84_G1150
data ETRF2000 = ETRF2000
data NAD83_CORS96 = NAD83_CORS96
data GDA94 = GDA94
data S84 = S84
data SMars2000 = SMars2000
data Moon = Moon

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 Methods modelId :: WGS84 -> ModelId Source # surface :: WGS84 -> Ellipsoid Source # longitudeRange :: WGS84 -> LongitudeRange Source #

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 Methods modelId :: GRS80 -> ModelId Source # surface :: GRS80 -> Ellipsoid Source # longitudeRange :: GRS80 -> LongitudeRange Source #

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 Methods modelId :: WGS72 -> ModelId Source # surface :: WGS72 -> Ellipsoid Source # longitudeRange :: WGS72 -> LongitudeRange Source #

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 Methods showsPrec :: Int -> ETRS89 -> ShowS # show :: ETRS89 -> String # showList :: [ETRS89] -> ShowS #
Ellipsoidal ETRS89 Source #
Instance details Defined in Data.Geo.Jord.Models
Model ETRS89 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: ETRS89 -> ModelId Source # surface :: ETRS89 -> Ellipsoid Source # longitudeRange :: ETRS89 -> LongitudeRange Source #

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 Methods modelId :: NAD83 -> ModelId Source # surface :: NAD83 -> Ellipsoid Source # longitudeRange :: NAD83 -> LongitudeRange Source #

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 Methods modelId :: ED50 -> ModelId Source # surface :: ED50 -> Ellipsoid Source # longitudeRange :: ED50 -> LongitudeRange Source #

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 Methods showsPrec :: Int -> Irl1975 -> ShowS # show :: Irl1975 -> String # showList :: [Irl1975] -> ShowS #
Ellipsoidal Irl1975 Source #
Instance details Defined in Data.Geo.Jord.Models
Model Irl1975 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: Irl1975 -> ModelId Source # surface :: Irl1975 -> Ellipsoid Source # longitudeRange :: Irl1975 -> LongitudeRange Source #

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 Methods modelId :: NAD27 -> ModelId Source # surface :: NAD27 -> Ellipsoid Source # longitudeRange :: NAD27 -> LongitudeRange Source #

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 Methods modelId :: NTF -> ModelId Source # surface :: NTF -> Ellipsoid Source # longitudeRange :: NTF -> LongitudeRange Source #

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 Methods showsPrec :: Int -> OSGB36 -> ShowS # show :: OSGB36 -> String # showList :: [OSGB36] -> ShowS #
Ellipsoidal OSGB36 Source #
Instance details Defined in Data.Geo.Jord.Models
Model OSGB36 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: OSGB36 -> ModelId Source # surface :: OSGB36 -> Ellipsoid Source # longitudeRange :: OSGB36 -> LongitudeRange Source #

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 Methods showsPrec :: Int -> Potsdam -> ShowS # show :: Potsdam -> String # showList :: [Potsdam] -> ShowS #
Ellipsoidal Potsdam Source #
Instance details Defined in Data.Geo.Jord.Models
Model Potsdam Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: Potsdam -> ModelId Source # surface :: Potsdam -> Ellipsoid Source # longitudeRange :: Potsdam -> LongitudeRange Source #

data TokyoJapan Source #

Tokyo Japan.

Constructors

TokyoJapan

Instances

Eq TokyoJapan Source #
Instance details Defined in Data.Geo.Jord.Models Methods (==) :: TokyoJapan -> TokyoJapan -> Bool # (/=) :: TokyoJapan -> TokyoJapan -> Bool #
Show TokyoJapan Source #
Instance details Defined in Data.Geo.Jord.Models Methods showsPrec :: Int -> TokyoJapan -> ShowS # show :: TokyoJapan -> String # showList :: [TokyoJapan] -> ShowS #
Ellipsoidal TokyoJapan Source #
Instance details Defined in Data.Geo.Jord.Models
Model TokyoJapan Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: TokyoJapan -> ModelId Source # surface :: TokyoJapan -> Ellipsoid Source # longitudeRange :: TokyoJapan -> LongitudeRange Source #

data Mars2000 Source #

Mars Orbiter Laser Altimeter.

Constructors

Mars2000

Instances

Eq Mars2000 Source #
Instance details Defined in Data.Geo.Jord.Models Methods (==) :: Mars2000 -> Mars2000 -> Bool # (/=) :: Mars2000 -> Mars2000 -> Bool #
Show Mars2000 Source #
Instance details Defined in Data.Geo.Jord.Models Methods showsPrec :: Int -> Mars2000 -> ShowS # show :: Mars2000 -> String # showList :: [Mars2000] -> ShowS #
Ellipsoidal Mars2000 Source #
Instance details Defined in Data.Geo.Jord.Models
Model Mars2000 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: Mars2000 -> ModelId Source # surface :: Mars2000 -> Ellipsoid Source # longitudeRange :: Mars2000 -> LongitudeRange Source #

data ITRF2014 Source #

International Terrestrial Reference System (2014).

Constructors

ITRF2014

Instances

Eq ITRF2014 Source #
Instance details Defined in Data.Geo.Jord.Models Methods (==) :: ITRF2014 -> ITRF2014 -> Bool # (/=) :: ITRF2014 -> ITRF2014 -> Bool #
Show ITRF2014 Source #
Instance details Defined in Data.Geo.Jord.Models Methods showsPrec :: Int -> ITRF2014 -> ShowS # show :: ITRF2014 -> String # showList :: [ITRF2014] -> ShowS #
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 Methods modelId :: ITRF2014 -> ModelId Source # surface :: ITRF2014 -> Ellipsoid Source # longitudeRange :: ITRF2014 -> LongitudeRange Source #

data ITRF2008 Source #

International Terrestrial Reference System (2008).

Constructors

ITRF2008

Instances

Eq ITRF2008 Source #
Instance details Defined in Data.Geo.Jord.Models Methods (==) :: ITRF2008 -> ITRF2008 -> Bool # (/=) :: ITRF2008 -> ITRF2008 -> Bool #
Show ITRF2008 Source #
Instance details Defined in Data.Geo.Jord.Models Methods showsPrec :: Int -> ITRF2008 -> ShowS # show :: ITRF2008 -> String # showList :: [ITRF2008] -> ShowS #
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 Methods modelId :: ITRF2008 -> ModelId Source # surface :: ITRF2008 -> Ellipsoid Source # longitudeRange :: ITRF2008 -> LongitudeRange Source #

data ITRF2005 Source #

International Terrestrial Reference System (2005).

Constructors

ITRF2005

Instances

Eq ITRF2005 Source #
Instance details Defined in Data.Geo.Jord.Models Methods (==) :: ITRF2005 -> ITRF2005 -> Bool # (/=) :: ITRF2005 -> ITRF2005 -> Bool #
Show ITRF2005 Source #
Instance details Defined in Data.Geo.Jord.Models Methods showsPrec :: Int -> ITRF2005 -> ShowS # show :: ITRF2005 -> String # showList :: [ITRF2005] -> ShowS #
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 Methods modelId :: ITRF2005 -> ModelId Source # surface :: ITRF2005 -> Ellipsoid Source # longitudeRange :: ITRF2005 -> LongitudeRange Source #

data ITRF2000 Source #

International Terrestrial Reference System (2000).

Constructors

ITRF2000

Instances

Eq ITRF2000 Source #
Instance details Defined in Data.Geo.Jord.Models Methods (==) :: ITRF2000 -> ITRF2000 -> Bool # (/=) :: ITRF2000 -> ITRF2000 -> Bool #
Show ITRF2000 Source #
Instance details Defined in Data.Geo.Jord.Models Methods showsPrec :: Int -> ITRF2000 -> ShowS # show :: ITRF2000 -> String # showList :: [ITRF2000] -> ShowS #
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 Methods modelId :: ITRF2000 -> ModelId Source # surface :: ITRF2000 -> Ellipsoid Source # longitudeRange :: ITRF2000 -> LongitudeRange Source #

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 Methods showsPrec :: Int -> ITRF93 -> ShowS # show :: ITRF93 -> String # showList :: [ITRF93] -> ShowS #
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 Methods modelId :: ITRF93 -> ModelId Source # surface :: ITRF93 -> Ellipsoid Source # longitudeRange :: ITRF93 -> LongitudeRange Source #

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 Methods showsPrec :: Int -> ITRF91 -> ShowS # show :: ITRF91 -> String # showList :: [ITRF91] -> ShowS #
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 Methods modelId :: ITRF91 -> ModelId Source # surface :: ITRF91 -> Ellipsoid Source # longitudeRange :: ITRF91 -> LongitudeRange Source #

data WGS84_G1762 Source #

World Geodetic System 1984 (G1762).

Constructors

WGS84_G1762

Instances

Eq WGS84_G1762 Source #
Instance details Defined in Data.Geo.Jord.Models Methods (==) :: WGS84_G1762 -> WGS84_G1762 -> Bool # (/=) :: WGS84_G1762 -> WGS84_G1762 -> Bool #
Show WGS84_G1762 Source #
Instance details Defined in Data.Geo.Jord.Models Methods showsPrec :: Int -> WGS84_G1762 -> ShowS # show :: WGS84_G1762 -> String # showList :: [WGS84_G1762] -> ShowS #
EllipsoidalT0 WGS84_G1762 Source #
Instance details Defined in Data.Geo.Jord.Models Methods epoch :: WGS84_G1762 -> Epoch Source #
Ellipsoidal WGS84_G1762 Source #
Instance details Defined in Data.Geo.Jord.Models
Model WGS84_G1762 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: WGS84_G1762 -> ModelId Source # surface :: WGS84_G1762 -> Ellipsoid Source # longitudeRange :: WGS84_G1762 -> LongitudeRange Source #

data WGS84_G1674 Source #

World Geodetic System 1984 (G1674).

Constructors

WGS84_G1674

Instances

Eq WGS84_G1674 Source #
Instance details Defined in Data.Geo.Jord.Models Methods (==) :: WGS84_G1674 -> WGS84_G1674 -> Bool # (/=) :: WGS84_G1674 -> WGS84_G1674 -> Bool #
Show WGS84_G1674 Source #
Instance details Defined in Data.Geo.Jord.Models Methods showsPrec :: Int -> WGS84_G1674 -> ShowS # show :: WGS84_G1674 -> String # showList :: [WGS84_G1674] -> ShowS #
EllipsoidalT0 WGS84_G1674 Source #
Instance details Defined in Data.Geo.Jord.Models Methods epoch :: WGS84_G1674 -> Epoch Source #
Ellipsoidal WGS84_G1674 Source #
Instance details Defined in Data.Geo.Jord.Models
Model WGS84_G1674 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: WGS84_G1674 -> ModelId Source # surface :: WGS84_G1674 -> Ellipsoid Source # longitudeRange :: WGS84_G1674 -> LongitudeRange Source #

data WGS84_G1150 Source #

World Geodetic System 1984 (G1150).

Constructors

WGS84_G1150

Instances

Eq WGS84_G1150 Source #
Instance details Defined in Data.Geo.Jord.Models Methods (==) :: WGS84_G1150 -> WGS84_G1150 -> Bool # (/=) :: WGS84_G1150 -> WGS84_G1150 -> Bool #
Show WGS84_G1150 Source #
Instance details Defined in Data.Geo.Jord.Models Methods showsPrec :: Int -> WGS84_G1150 -> ShowS # show :: WGS84_G1150 -> String # showList :: [WGS84_G1150] -> ShowS #
EllipsoidalT0 WGS84_G1150 Source #
Instance details Defined in Data.Geo.Jord.Models Methods epoch :: WGS84_G1150 -> Epoch Source #
Ellipsoidal WGS84_G1150 Source #
Instance details Defined in Data.Geo.Jord.Models
Model WGS84_G1150 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: WGS84_G1150 -> ModelId Source # surface :: WGS84_G1150 -> Ellipsoid Source # longitudeRange :: WGS84_G1150 -> LongitudeRange Source #

data ETRF2000 Source #

European Terrestrial Reference System (2000).

Constructors

ETRF2000

Instances

Eq ETRF2000 Source #
Instance details Defined in Data.Geo.Jord.Models Methods (==) :: ETRF2000 -> ETRF2000 -> Bool # (/=) :: ETRF2000 -> ETRF2000 -> Bool #
Show ETRF2000 Source #
Instance details Defined in Data.Geo.Jord.Models Methods showsPrec :: Int -> ETRF2000 -> ShowS # show :: ETRF2000 -> String # showList :: [ETRF2000] -> ShowS #
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 Methods modelId :: ETRF2000 -> ModelId Source # surface :: ETRF2000 -> Ellipsoid Source # longitudeRange :: ETRF2000 -> LongitudeRange Source #

data NAD83_CORS96 Source #

NAD83 (Continuously Operating Reference Station 1996).

Constructors

NAD83_CORS96

Instances

Eq NAD83_CORS96 Source #
Instance details Defined in Data.Geo.Jord.Models Methods (==) :: NAD83_CORS96 -> NAD83_CORS96 -> Bool # (/=) :: NAD83_CORS96 -> NAD83_CORS96 -> Bool #
Show NAD83_CORS96 Source #
Instance details Defined in Data.Geo.Jord.Models Methods showsPrec :: Int -> NAD83_CORS96 -> ShowS # show :: NAD83_CORS96 -> String # showList :: [NAD83_CORS96] -> ShowS #
EllipsoidalT0 NAD83_CORS96 Source #
Instance details Defined in Data.Geo.Jord.Models Methods epoch :: NAD83_CORS96 -> Epoch Source #
Ellipsoidal NAD83_CORS96 Source #
Instance details Defined in Data.Geo.Jord.Models
Model NAD83_CORS96 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: NAD83_CORS96 -> ModelId Source # surface :: NAD83_CORS96 -> Ellipsoid Source # longitudeRange :: NAD83_CORS96 -> LongitudeRange Source #

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 Methods modelId :: GDA94 -> ModelId Source # surface :: GDA94 -> Ellipsoid Source # longitudeRange :: GDA94 -> LongitudeRange Source #

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 Methods modelId :: S84 -> ModelId Source # surface :: S84 -> Ellipsoid Source # longitudeRange :: S84 -> LongitudeRange Source #

data SMars2000 Source #

Spherical Mars model derived from Mars2000 ellipsoid.

Constructors

SMars2000

Instances

Eq SMars2000 Source #
Instance details Defined in Data.Geo.Jord.Models Methods (==) :: SMars2000 -> SMars2000 -> Bool # (/=) :: SMars2000 -> SMars2000 -> Bool #
Show SMars2000 Source #
Instance details Defined in Data.Geo.Jord.Models Methods showsPrec :: Int -> SMars2000 -> ShowS # show :: SMars2000 -> String # showList :: [SMars2000] -> ShowS #
Spherical SMars2000 Source #
Instance details Defined in Data.Geo.Jord.Models
Model SMars2000 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: SMars2000 -> ModelId Source # surface :: SMars2000 -> Ellipsoid Source # longitudeRange :: SMars2000 -> LongitudeRange Source #

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 Methods modelId :: Moon -> ModelId Source # surface :: Moon -> Ellipsoid Source # longitudeRange :: Moon -> LongitudeRange Source #