geodetic-0.1.4: Geodetic calculations
Data.Geo.Geodetic.Sphere
Description
A sphere with a radius in metres.
data Sphere Source
Instances
A show instance that prints to 4 decimal places. This is to take floating-point rounding errors into account.
class AsSphere p f s where Source
Minimal complete definition
Nothing
Methods
_Sphere :: Optic' p f s Sphere Source
An isomorphism on sphere to a double.
>>> (7 :: Double) ^. _Sphere Sphere 7.0000
>>>
(7 :: Double) ^. _Sphere
>>> (0 :: Double) ^. _Sphere Sphere 0.0000
(0 :: Double) ^. _Sphere
>>> (-7 :: Double) ^. _Sphere Sphere -7.0000
(-7 :: Double) ^. _Sphere
earthMean :: Sphere Source