Provides data types and libraries for manipulating values of latitude and longitude, typically used against a WGS84 reference ellipsoid. An emphasis is placed on utilising lenses, prisms and isomorphisms for manipulation of the structures.
Provides data types and libraries for manipulating values of latitude and longitude, typically used against a WGS84 reference ellipsoid. An emphasis is placed on utilising lenses, prisms and isomorphisms for manipulation of the structures.