geodeticHeight | Data.Geo.Jord.Transformation, Data.Geo.Jord |
getDegrees | Data.Geo.Jord.Angle, Data.Geo.Jord |
getMilliseconds | Data.Geo.Jord.Angle, Data.Geo.Jord |
getMinutes | Data.Geo.Jord.Angle, Data.Geo.Jord |
getSeconds | Data.Geo.Jord.Angle, Data.Geo.Jord |
GreatCircle | Data.Geo.Jord.Geodetics, Data.Geo.Jord |
greatCircle | Data.Geo.Jord.Geodetics, Data.Geo.Jord |
greatCircleE | Data.Geo.Jord.Geodetics, Data.Geo.Jord |
greatCircleF | Data.Geo.Jord.Geodetics, Data.Geo.Jord |
grs80 | Data.Geo.Jord.Earth, Data.Geo.Jord |