coordinate-0.1.2: A representation of latitude and longitude
Data.Geodetic.Sphere
Synopsis
newtype Sphere Source #
Constructors
Instances
Methods
(==) :: Sphere -> Sphere -> Bool #
(/=) :: Sphere -> Sphere -> Bool #
compare :: Sphere -> Sphere -> Ordering #
(<) :: Sphere -> Sphere -> Bool #
(<=) :: Sphere -> Sphere -> Bool #
(>) :: Sphere -> Sphere -> Bool #
(>=) :: Sphere -> Sphere -> Bool #
max :: Sphere -> Sphere -> Sphere #
min :: Sphere -> Sphere -> Sphere #
showsPrec :: Int -> Sphere -> ShowS #
show :: Sphere -> String #
showList :: [Sphere] -> ShowS #
Associated Types
type Unwrapped Sphere :: * #
_Wrapped' :: Iso' Sphere (Unwrapped Sphere) #
earthMean :: Sphere Source #
>>> earthMean Sphere 6367450.0
>>>
earthMean
ellipsoidSphere :: Prism' Ellipsoid Sphere Source #
>>> ellipsoidSphere # Sphere 77 Ellipsoid {_semiMajor = 77.0, _flattening = 1.0}
ellipsoidSphere # Sphere 77
>>> Ellipsoid 77 1 ^? ellipsoidSphere Just (Sphere 77.0)
Ellipsoid 77 1 ^? ellipsoidSphere
>>> Ellipsoid 77 2 ^? ellipsoidSphere Nothing
Ellipsoid 77 2 ^? ellipsoidSphere