Geodetics.Grid

Grid types

class GridClass r e | r -> e where

A Grid is a two-dimensional projection of the ellipsoid onto a plane. Any given type of grid can usually be instantiated with parameters such as a tangential point or line, and these parameters will include the terrestrial reference frame (Ellipsoid in this library) used as a foundation. Hence conversion from a geodetic to a grid point requires the "basis" for the grid in question, and grid points carry that basis with them because without it there is no defined relationship between the grid points and terrestrial positions.

Methods

fromGrid :: GridPoint r -> Geodetic e

toGrid :: r -> Geodetic e -> GridPoint r

gridEllipsoid :: r -> e

Instances

GridClass UkNationalGrid OSGB36

Defined in Geodetics.UK

Methods

fromGrid :: GridPoint UkNationalGrid -> Geodetic OSGB36

toGrid :: UkNationalGrid -> Geodetic OSGB36 -> GridPoint UkNationalGrid

gridEllipsoid :: UkNationalGrid -> OSGB36

Ellipsoid e => GridClass (GridStereo e) e

Defined in Geodetics.Stereographic

Methods

fromGrid :: GridPoint (GridStereo e) -> Geodetic e

toGrid :: GridStereo e -> Geodetic e -> GridPoint (GridStereo e)

gridEllipsoid :: GridStereo e -> e

Ellipsoid e => GridClass (GridTM e) e

Defined in Geodetics.TransverseMercator

Methods

fromGrid :: GridPoint (GridTM e) -> Geodetic e

toGrid :: GridTM e -> Geodetic e -> GridPoint (GridTM e)

gridEllipsoid :: GridTM e -> e

data GridPoint r

A point on the specified grid.

Constructors

GridPoint

Fields

• eastings, northings, altGP :: Length Double
• gridBasis :: r

Instances

Eq (GridPoint r)

Defined in Geodetics.Grid

Methods

(==) :: GridPoint r -> GridPoint r -> Bool

(/=) :: GridPoint r -> GridPoint r -> Bool

Show r => Show (GridPoint r)

Defined in Geodetics.Grid

Methods

showsPrec :: Int -> GridPoint r -> ShowS

show :: GridPoint r -> String

showList :: [GridPoint r] -> ShowS

HasAltitude (GridPoint g)

Defined in Geodetics.Grid

Methods

altitude :: GridPoint g -> Length Double

setAltitude :: Length Double -> GridPoint g -> GridPoint g

groundPosition :: GridPoint g -> GridPoint g

data GridOffset

A vector relative to a point on a grid. Operations that use offsets will only give meaningful results if all the points come from the same grid.

The monoid instance is the sum of offsets.

Constructors

GridOffset

Fields

• deltaEast, deltaNorth, deltaAltitude :: Length Double

Instances

Eq GridOffset

Defined in Geodetics.Grid

Methods

(==) :: GridOffset -> GridOffset -> Bool

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

Show GridOffset

Defined in Geodetics.Grid

Methods

showsPrec :: Int -> GridOffset -> ShowS

show :: GridOffset -> String

showList :: [GridOffset] -> ShowS

Semigroup GridOffset

Defined in Geodetics.Grid

Methods

(<>) :: GridOffset -> GridOffset -> GridOffset

sconcat :: NonEmpty GridOffset -> GridOffset

stimes :: Integral b => b -> GridOffset -> GridOffset

Monoid GridOffset

Defined in Geodetics.Grid

Methods

mempty :: GridOffset

mappend :: GridOffset -> GridOffset -> GridOffset

mconcat :: [GridOffset] -> GridOffset

Grid operations

polarOffset :: Length Double -> Angle Double -> GridOffset

An offset defined by a distance and a bearing to the right of North.

There is no elevation parameter because we are using a plane to approximate an ellipsoid, so elevation would not provide a useful result. If you want to work with elevations then "rayPath" will give meaningful results.

offsetScale :: Dimensionless Double -> GridOffset -> GridOffset

Scale an offset by a scalar.

offsetNegate :: GridOffset -> GridOffset

Invert an offset.

applyOffset :: GridOffset -> GridPoint g -> GridPoint g

offsetDistance :: GridOffset -> Length Double

The distance represented by an offset.

offsetDistanceSq :: GridOffset -> Area Double

The square of the distance represented by an offset.

offsetBearing :: GridOffset -> Angle Double

The direction represented by an offset, as bearing to the right of North.

gridOffset :: GridPoint g -> GridPoint g -> GridOffset

The offset required to move from p1 to p2.

Unsafe conversion

unsafeGridCoerce :: b -> GridPoint a -> GridPoint b

Coerce a grid point of one type into a grid point of a different type, but with the same easting, northing and altitude. This is unsafe because it will produce a different position unless the two grids are actually equal.

It should be used only to convert between distinguished grids (e.g. UkNationalGrid) and their equivalent numerical definitions.

Utility functions for grid references

fromGridDigits :: Length Double -> String -> Maybe (Length Double, Length Double)

Convert a list of digits to a distance. The first argument is the size of the grid square within which these digits specify a position. The first digit is in units of one tenth of the grid square, the second one hundredth, and so on. The first result is the lower limit of the result, and the second is the size of the specified offset. So for instance fromGridDigits (100 *~ kilo meter) "237" will return

Just (23700 meters, 100 meters)

If there are any non-digits in the string then the function returns Nothing.

toGridDigits

Arguments

:: Length Double

Size of enclosing grid square. Must be at least 1 km.

-> Int

Number of digits to return. Must be positive.

-> Length Double

Offset to convert into grid.

-> Maybe (Integer, String)

Convert a distance into a digit string suitable for printing as part of a grid reference. The result is the nearest position to the specified number of digits, expressed as an integer count of squares and a string of digits. If any arguments are invalid then Nothing is returned.