Geodetic-0.4: Geodetic calculations

Data.Geo.Position

Description

A coordinate on earth with an elevation in metres.

Synopsis

data Position Source

Instances

(|*|)Source

Arguments

The coordinate.

The elevation.

Construct a position with the given coordinate and elevation in metres.