Data.Geo.Jord.Tx

Coordinates transformation parameters.

transformation parameters.

data Tx a

Coordinate transformation between 2 models (A & B).

Constructors

Tx

Fields

• modelA :: ModelId

  model A.

• modelB :: ModelId

  model B.

• params :: a

  transformation parameters - i.e. modelA-> modelB

inverse :: Params a => Tx a -> Tx a

inverse transformation.

class Params a where

class for transformation parameters.

Methods

idParams

Arguments

:: a

identity transformation parameters, i.e. p T idParams = p.

inverseParams

Arguments

:: a

-> a

inverse transformation parameters.

Instances

Params Params15

Defined in Data.Geo.Jord.Tx

Methods

idParams :: Params15

inverseParams :: Params15 -> Params15

Params Params7

Defined in Data.Geo.Jord.Tx

Methods

idParams :: Params7

inverseParams :: Params7 -> Params7

data Params7

7-parameter transformation (Helmert); use params7 to construct.

Instances

Show Params7

Defined in Data.Geo.Jord.Tx

Methods

showsPrec :: Int -> Params7 -> ShowS

show :: Params7 -> String

showList :: [Params7] -> ShowS

Params Params7

Defined in Data.Geo.Jord.Tx

Methods

idParams :: Params7

inverseParams :: Params7 -> Params7

data Rates

Transformation rates for the 15-parameter transformation (Helmert); use rates to construct.

Instances

Show Rates

Defined in Data.Geo.Jord.Tx

Methods

showsPrec :: Int -> Rates -> ShowS

show :: Rates -> String

showList :: [Rates] -> ShowS

data Params15

Epoch and 14-parameter transformation (Helmert).

Constructors

Params15 Epoch Params7 Rates

Instances

Show Params15

Defined in Data.Geo.Jord.Tx

Methods

showsPrec :: Int -> Params15 -> ShowS

show :: Params15 -> String

showList :: [Params15] -> ShowS

Params Params15

Defined in Data.Geo.Jord.Tx

Methods

idParams :: Params15

inverseParams :: Params15 -> Params15

params7

Arguments

:: (Double, Double, Double)

translation vector containing the three translations along the coordinate axes: tx, ty, tz in millimetres

-> Double

scale factor (unitless) expressed in parts per billion

-> (Double, Double, Double)

rotation matrix (orthogonal) consisting of the three axes rx, ry, rz in milliarcseconds

-> Params7

7-parameter transformation (Helmert) from given translation vector, scale factor and rotation matrix.

rates

Arguments

:: (Double, Double, Double)

translation rate in millimetres per year.

-> Double

scale factor rate in part per billion per year.

-> (Double, Double, Double)

rotation rate in milliarcseconds per year.

-> Rates

rates of the 15-parameter translation (Helmert) from given translation rates, scale factor rate and rotation rates.

paramsAt :: Epoch -> Params15 -> Params7

paramsAt e tx15 returns the 7-parameter transformation corresponding to the 15-parameter transformation tx15 at epoch e.

transformation graph.

data Graph a

Transformation graph: vertices are ModelId and edges are transformation parameters.

graph :: Params a => [Tx a] -> Graph a

graph ts returns a transformation graph containing all given direct and inverse (i.e. for each Tx: params & inverseParams) transformations.

paramsBetween :: Params a => ModelId -> ModelId -> Graph a -> [a]

paramsBetween m0 m1 g computes the ordered list of transformation parameters to be successively applied when transforming the coordinates of a position in model m0 to model m1. The returned list is empty, if either model is not in the graph (i.e. not a vertex) or if no such transformation exists (i.e. model m1 cannot be reached from model m0).

geocentric coordinate transformation

apply :: V3 -> Params7 -> V3

apply gc tx7 returns the geocentric coordinates resulting from applying the 7-parameter transformation tx7 to the geocentric coordinates represented by vector gc.