geodetic-0.1.0: Geodetic calculations
Data.Geo.Geodetic.Sphere
Description
A sphere with a radius in metres.
Synopsis
data Sphere Source
Instances
A show instance that prints to 4 decimal places. This is to take floating-point rounding errors into account.
class HasSphere t whereSource
Methods
sphere :: Lens' t SphereSource
nSphere :: Iso' Double SphereSource
An isomorphism on sphere to a double.
>>> 7 ^. nSphere Sphere 7.0000
>>>
7 ^. nSphere
>>> 0 ^. nSphere Sphere 0.0000
0 ^. nSphere
>>> (-7) ^. nSphere Sphere -7.0000
(-7) ^. nSphere
earthMean :: SphereSource