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.Model

Description

Definition of celestial body models.

see Data.Geo.Jord.Models for supported models.

Synopsis

data LongitudeRange
- = L180
- | L360
newtype ModelId = ModelId String
data Epoch = Epoch Double
class (Eq a, Show a) => Model a where
- modelId :: a -> ModelId
- surface :: a -> Ellipsoid
- longitudeRange :: a -> LongitudeRange
class Model a => Spherical a
class Model a => Ellipsoidal a
class Ellipsoidal a => EllipsoidalT0 a where
- epoch :: a -> Epoch

Documentation

data LongitudeRange Source #

Longitude range.

Constructors

L180	-180°, 180° range for Earth, Moon and Sun.
L360	0°, 360° range for other celestial bodies (e.g. Mars).

newtype ModelId Source #

identifier of a model.

Constructors

ModelId String

Instances

Eq ModelId Source #
Instance details Defined in Data.Geo.Jord.Model Methods (==) :: ModelId -> ModelId -> Bool # (/=) :: ModelId -> ModelId -> Bool #
Show ModelId Source #
Instance details Defined in Data.Geo.Jord.Model Methods showsPrec :: Int -> ModelId -> ShowS # show :: ModelId -> String # showList :: [ModelId] -> ShowS #

data Epoch Source #

Epoch (decimal years) such as 2018.60: the 219th day of the year or August 7, 2018 in the Gregorian calendar.

Constructors

Epoch Double

Instances

Eq Epoch Source #
Instance details Defined in Data.Geo.Jord.Model Methods (==) :: Epoch -> Epoch -> Bool # (/=) :: Epoch -> Epoch -> Bool #
Show Epoch Source #
Instance details Defined in Data.Geo.Jord.Model Methods showsPrec :: Int -> Epoch -> ShowS # show :: Epoch -> String # showList :: [Epoch] -> ShowS #

class (Eq a, Show a) => Model a where Source #

Model for a celestial body: the same celestial body can be represented by different models (e.g. Earth: WGS84, ITRF2014, Spherical, etc...).

Methods

modelId Source #

Arguments

:: a
-> ModelId	model identifier, must be unique for coordinate transformation.

surface Source #

Arguments

:: a
-> Ellipsoid	surface of the celestial body.

longitudeRange Source #

Arguments

:: a
-> LongitudeRange	longitude range.

Instances

Model Moon Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: Moon -> ModelId Source # surface :: Moon -> Ellipsoid Source # longitudeRange :: Moon -> LongitudeRange Source #
Model SMars2000 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: SMars2000 -> ModelId Source # surface :: SMars2000 -> Ellipsoid Source # longitudeRange :: SMars2000 -> LongitudeRange Source #
Model S84 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: S84 -> ModelId Source # surface :: S84 -> Ellipsoid Source # longitudeRange :: S84 -> LongitudeRange Source #
Model GDA94 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: GDA94 -> ModelId Source # surface :: GDA94 -> Ellipsoid Source # longitudeRange :: GDA94 -> LongitudeRange Source #
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 #
Model ETRF2000 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: ETRF2000 -> ModelId Source # surface :: ETRF2000 -> Ellipsoid Source # longitudeRange :: ETRF2000 -> LongitudeRange Source #
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 #
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 #
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 #
Model ITRF91 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: ITRF91 -> ModelId Source # surface :: ITRF91 -> Ellipsoid Source # longitudeRange :: ITRF91 -> LongitudeRange Source #
Model ITRF93 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: ITRF93 -> ModelId Source # surface :: ITRF93 -> Ellipsoid Source # longitudeRange :: ITRF93 -> LongitudeRange Source #
Model ITRF2000 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: ITRF2000 -> ModelId Source # surface :: ITRF2000 -> Ellipsoid Source # longitudeRange :: ITRF2000 -> LongitudeRange Source #
Model ITRF2005 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: ITRF2005 -> ModelId Source # surface :: ITRF2005 -> Ellipsoid Source # longitudeRange :: ITRF2005 -> LongitudeRange Source #
Model ITRF2008 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: ITRF2008 -> ModelId Source # surface :: ITRF2008 -> Ellipsoid Source # longitudeRange :: ITRF2008 -> LongitudeRange Source #
Model ITRF2014 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: ITRF2014 -> ModelId Source # surface :: ITRF2014 -> Ellipsoid Source # longitudeRange :: ITRF2014 -> LongitudeRange Source #
Model Mars2000 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: Mars2000 -> ModelId Source # surface :: Mars2000 -> Ellipsoid Source # longitudeRange :: Mars2000 -> LongitudeRange Source #
Model TokyoJapan Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: TokyoJapan -> ModelId Source # surface :: TokyoJapan -> Ellipsoid Source # longitudeRange :: TokyoJapan -> LongitudeRange Source #
Model Potsdam Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: Potsdam -> ModelId Source # surface :: Potsdam -> Ellipsoid Source # longitudeRange :: Potsdam -> LongitudeRange Source #
Model OSGB36 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: OSGB36 -> ModelId Source # surface :: OSGB36 -> Ellipsoid Source # longitudeRange :: OSGB36 -> LongitudeRange Source #
Model NTF Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: NTF -> ModelId Source # surface :: NTF -> Ellipsoid Source # longitudeRange :: NTF -> LongitudeRange Source #
Model NAD27 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: NAD27 -> ModelId Source # surface :: NAD27 -> Ellipsoid Source # longitudeRange :: NAD27 -> LongitudeRange Source #
Model Irl1975 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: Irl1975 -> ModelId Source # surface :: Irl1975 -> Ellipsoid Source # longitudeRange :: Irl1975 -> LongitudeRange Source #
Model ED50 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: ED50 -> ModelId Source # surface :: ED50 -> Ellipsoid Source # longitudeRange :: ED50 -> LongitudeRange Source #
Model NAD83 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: NAD83 -> ModelId Source # surface :: NAD83 -> Ellipsoid Source # longitudeRange :: NAD83 -> LongitudeRange Source #
Model ETRS89 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: ETRS89 -> ModelId Source # surface :: ETRS89 -> Ellipsoid Source # longitudeRange :: ETRS89 -> LongitudeRange Source #
Model WGS72 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: WGS72 -> ModelId Source # surface :: WGS72 -> Ellipsoid Source # longitudeRange :: WGS72 -> LongitudeRange Source #
Model GRS80 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: GRS80 -> ModelId Source # surface :: GRS80 -> Ellipsoid Source # longitudeRange :: GRS80 -> LongitudeRange Source #
Model WGS84 Source #
Instance details Defined in Data.Geo.Jord.Models Methods modelId :: WGS84 -> ModelId Source # surface :: WGS84 -> Ellipsoid Source # longitudeRange :: WGS84 -> LongitudeRange Source #

class Model a => Spherical a Source #

Models that approximate the surface of the celestial body to a sphere. Such an approximation is satisfactory for many purposes and allows a wide range of calculations: see Data.Geo.Jord.Kinematics, Data.Geo.Jord.GreatCircle and Data.Geo.Jord.LocalFrames.

Instances

Spherical Moon Source #
Instance details Defined in Data.Geo.Jord.Models
Spherical SMars2000 Source #
Instance details Defined in Data.Geo.Jord.Models
Spherical S84 Source #
Instance details Defined in Data.Geo.Jord.Models

class Model a => Ellipsoidal a Source #

Models that represent the surface of the celestial body with an ellispoid. Compare to Spherical models, less calculations are available and they are more CPU intensive: see Data.Geo.Jord.Geodesic and Data.Geo.Jord.LocalFrames, however those calculations are more "correct". Supports coordinates transformation between different ellispoidal models using 7-parameter transformation (Helmert): see Data.Geo.Jord.Transformation.

Instances

Ellipsoidal GDA94 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal NAD83_CORS96 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal ETRF2000 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal WGS84_G1150 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal WGS84_G1674 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal WGS84_G1762 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal ITRF91 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal ITRF93 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal ITRF2000 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal ITRF2005 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal ITRF2008 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal ITRF2014 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal Mars2000 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal TokyoJapan Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal Potsdam Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal OSGB36 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal NTF Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal NAD27 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal Irl1975 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal ED50 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal NAD83 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal ETRS89 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal WGS72 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal GRS80 Source #
Instance details Defined in Data.Geo.Jord.Models
Ellipsoidal WGS84 Source #
Instance details Defined in Data.Geo.Jord.Models

class Ellipsoidal a => EllipsoidalT0 a where Source #

Time-dependent Ellipsoidal models, such as International Terrestrial Reference Frames (ITRF). The epoch allows to account for unmodelled measurement biases and tectonic processes: supports coordinates transformation between different time-dependent ellispoidal models at given epoch using 15-parameter transformation (Helmert): see Data.Geo.Jord.Transformation.

Methods

epoch Source #

Arguments

:: a
-> Epoch	epoch to which coordinates are referenced.

Instances

EllipsoidalT0 GDA94 Source #
Instance details Defined in Data.Geo.Jord.Models Methods epoch :: GDA94 -> Epoch Source #
EllipsoidalT0 NAD83_CORS96 Source #
Instance details Defined in Data.Geo.Jord.Models Methods epoch :: NAD83_CORS96 -> Epoch Source #
EllipsoidalT0 ETRF2000 Source #
Instance details Defined in Data.Geo.Jord.Models Methods epoch :: ETRF2000 -> Epoch Source #
EllipsoidalT0 WGS84_G1150 Source #
Instance details Defined in Data.Geo.Jord.Models Methods epoch :: WGS84_G1150 -> Epoch Source #
EllipsoidalT0 WGS84_G1674 Source #
Instance details Defined in Data.Geo.Jord.Models Methods epoch :: WGS84_G1674 -> Epoch Source #
EllipsoidalT0 WGS84_G1762 Source #
Instance details Defined in Data.Geo.Jord.Models Methods epoch :: WGS84_G1762 -> Epoch Source #
EllipsoidalT0 ITRF91 Source #
Instance details Defined in Data.Geo.Jord.Models Methods epoch :: ITRF91 -> Epoch Source #
EllipsoidalT0 ITRF93 Source #
Instance details Defined in Data.Geo.Jord.Models Methods epoch :: ITRF93 -> Epoch Source #
EllipsoidalT0 ITRF2000 Source #
Instance details Defined in Data.Geo.Jord.Models Methods epoch :: ITRF2000 -> Epoch Source #
EllipsoidalT0 ITRF2005 Source #
Instance details Defined in Data.Geo.Jord.Models Methods epoch :: ITRF2005 -> Epoch Source #
EllipsoidalT0 ITRF2008 Source #
Instance details Defined in Data.Geo.Jord.Models Methods epoch :: ITRF2008 -> Epoch Source #
EllipsoidalT0 ITRF2014 Source #
Instance details Defined in Data.Geo.Jord.Models Methods epoch :: ITRF2014 -> Epoch Source #