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.