-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A representation of latitude and longitude
--   
--   
--   A representation of latitude and longitude
@package coordinate
@version 0.2

module Data.Geodetic.HasDoubles
class HasDoubles a
doubles :: HasDoubles a => Traversal' a Double
instance Data.Geodetic.HasDoubles.HasDoubles GHC.Types.Double

module Data.Geodetic.Ellipsoid
data Ellipsoid
Ellipsoid :: Double -> Double -> Ellipsoid
[_semiMajor] :: Ellipsoid -> Double
[_flattening] :: Ellipsoid -> Double
class HasEllipsoid c_abp1
ellipsoid :: HasEllipsoid c_abp1 => Lens' c_abp1 Ellipsoid
flattening :: HasEllipsoid c_abp1 => Lens' c_abp1 Double
semiMajor :: HasEllipsoid c_abp1 => Lens' c_abp1 Double
flatteningReciprocal :: HasEllipsoid e => Lens' e Double
wgs84 :: Ellipsoid
grs80 :: Ellipsoid
grs67 :: Ellipsoid
ans :: Ellipsoid
wgs72 :: Ellipsoid
au1965 :: Ellipsoid
krasovsky1940 :: Ellipsoid
international1924 :: Ellipsoid
hayford1909 :: Ellipsoid
airy1830 :: Ellipsoid
everest1830 :: Ellipsoid
bessel1841 :: Ellipsoid
clarke1858 :: Ellipsoid
clarke1866 :: Ellipsoid
clarke1880 :: Ellipsoid
instance Data.Geodetic.Ellipsoid.HasEllipsoid Data.Geodetic.Ellipsoid.Ellipsoid
instance Data.Geodetic.HasDoubles.HasDoubles Data.Geodetic.Ellipsoid.Ellipsoid
instance GHC.Show.Show Data.Geodetic.Ellipsoid.Ellipsoid
instance GHC.Classes.Ord Data.Geodetic.Ellipsoid.Ellipsoid
instance GHC.Classes.Eq Data.Geodetic.Ellipsoid.Ellipsoid

module Data.Geodetic.LL
data LL
LL :: Double -> Double -> LL
[_lat] :: LL -> Double
[_lon] :: LL -> Double
class HasLL c_acnQ
lL :: HasLL c_acnQ => Lens' c_acnQ LL
lat :: HasLL c_acnQ => Lens' c_acnQ Double
lon :: HasLL c_acnQ => Lens' c_acnQ Double
degrees :: Iso' (Double, Double) LL
(<◦>) :: Double -> Double -> LL
instance Data.Geodetic.LL.HasLL Data.Geodetic.LL.LL
instance Data.Geodetic.HasDoubles.HasDoubles Data.Geodetic.LL.LL
instance GHC.Show.Show Data.Geodetic.LL.LL
instance GHC.Classes.Ord Data.Geodetic.LL.LL
instance GHC.Classes.Eq Data.Geodetic.LL.LL

module Data.Geodetic.LLH
data LLH
LLH :: LL -> Double -> LLH
[ll] :: LLH -> LL
[_height] :: LLH -> Double
class HasLLH c_adCH
lLH :: HasLLH c_adCH => Lens' c_adCH LLH
height :: HasLLH c_adCH => Lens' c_adCH Double
instance Data.Geodetic.LLH.HasLLH Data.Geodetic.LLH.LLH
instance Data.Geodetic.LL.HasLL Data.Geodetic.LLH.LLH
instance Data.Geodetic.HasDoubles.HasDoubles Data.Geodetic.LLH.LLH
instance GHC.Show.Show Data.Geodetic.LLH.LLH
instance GHC.Classes.Ord Data.Geodetic.LLH.LLH
instance GHC.Classes.Eq Data.Geodetic.LLH.LLH

module Data.Geodetic.Sphere
newtype Sphere
Sphere :: Double -> Sphere
earthMean :: Sphere
ellipsoidSphere :: Prism' Ellipsoid Sphere
instance Data.Geodetic.Sphere.Sphere ~ t => Control.Lens.Wrapped.Rewrapped Data.Geodetic.Sphere.Sphere t
instance Control.Lens.Wrapped.Wrapped Data.Geodetic.Sphere.Sphere
instance GHC.Show.Show Data.Geodetic.Sphere.Sphere
instance GHC.Classes.Ord Data.Geodetic.Sphere.Sphere
instance GHC.Classes.Eq Data.Geodetic.Sphere.Sphere

module Data.Geodetic.XY
data XY
XY :: Double -> Double -> XY
[_x] :: XY -> Double
[_y] :: XY -> Double
class HasXY c_akUl
xY :: HasXY c_akUl => Lens' c_akUl XY
x :: HasXY c_akUl => Lens' c_akUl Double
y :: HasXY c_akUl => Lens' c_akUl Double
instance Data.Geodetic.XY.HasXY Data.Geodetic.XY.XY
instance Data.Geodetic.HasDoubles.HasDoubles Data.Geodetic.XY.XY
instance GHC.Show.Show Data.Geodetic.XY.XY
instance GHC.Classes.Ord Data.Geodetic.XY.XY
instance GHC.Classes.Eq Data.Geodetic.XY.XY

module Data.Geodetic.ECEF
data ECEF
ECEF :: XY -> Double -> ECEF
[_xy] :: ECEF -> XY
[_z] :: ECEF -> Double
class HasECEF c_alK1
eCEF :: HasECEF c_alK1 => Lens' c_alK1 ECEF
xy :: HasECEF c_alK1 => Lens' c_alK1 XY
z :: HasECEF c_alK1 => Lens' c_alK1 Double
instance Data.Geodetic.ECEF.HasECEF Data.Geodetic.ECEF.ECEF
instance Data.Geodetic.XY.HasXY Data.Geodetic.ECEF.ECEF
instance Data.Geodetic.HasDoubles.HasDoubles Data.Geodetic.ECEF.ECEF
instance GHC.Show.Show Data.Geodetic.ECEF.ECEF
instance GHC.Classes.Ord Data.Geodetic.ECEF.ECEF
instance GHC.Classes.Eq Data.Geodetic.ECEF.ECEF

module Data.Geodetic.EllipsoidReaderT
newtype EllipsoidReaderT f a
EllipsoidReaderT :: (Ellipsoid -> f a) -> EllipsoidReaderT f a
type EllipsoidReader a = EllipsoidReaderT Identity a
runEllipsoidReader :: Iso' (EllipsoidReader a) (Ellipsoid -> a)
toEllipsoidReaderT :: Iso' (EllipsoidReaderT f a) (ReaderT Ellipsoid f a)
hoistEllipsoidReader :: Applicative f => EllipsoidReader a -> EllipsoidReaderT f a
arrEllipsoidReader :: Applicative f => (Ellipsoid -> a) -> EllipsoidReaderT f a
readEllipsoid :: Applicative f => EllipsoidReaderT f Ellipsoid
readSemiMajor :: Applicative f => EllipsoidReaderT f Double
readFlattening :: Applicative f => EllipsoidReaderT f Double
readFlatteningReciprocal :: Applicative f => EllipsoidReaderT f Double
semiMinor :: Applicative f => EllipsoidReaderT f Double
eccentricitySquared :: Applicative f => EllipsoidReaderT f Double
eccentricitySquared' :: Applicative f => EllipsoidReaderT f Double
distributeNormal :: Applicative f => Double -> EllipsoidReaderT f Double
normal :: Applicative f => EllipsoidReaderT f (Double -> Double)
wgs84' :: EllipsoidReader a -> a
wgs84'' :: EllipsoidReaderT f a -> f a
earthGeo :: Applicative f => EllipsoidReaderT f (ReifiedIso' ECEF LLH)
instance Data.Geodetic.EllipsoidReaderT.EllipsoidReaderT f1 a1 ~ t => Control.Lens.Wrapped.Rewrapped (Data.Geodetic.EllipsoidReaderT.EllipsoidReaderT f2 a2) t
instance Control.Lens.Wrapped.Wrapped (Data.Geodetic.EllipsoidReaderT.EllipsoidReaderT f a)
instance GHC.Base.Functor f => GHC.Base.Functor (Data.Geodetic.EllipsoidReaderT.EllipsoidReaderT f)
instance GHC.Base.Applicative f => GHC.Base.Applicative (Data.Geodetic.EllipsoidReaderT.EllipsoidReaderT f)
instance GHC.Base.Monad f => GHC.Base.Monad (Data.Geodetic.EllipsoidReaderT.EllipsoidReaderT f)
instance GHC.Base.Alternative f => GHC.Base.Alternative (Data.Geodetic.EllipsoidReaderT.EllipsoidReaderT f)
instance GHC.Base.MonadPlus f => GHC.Base.MonadPlus (Data.Geodetic.EllipsoidReaderT.EllipsoidReaderT f)
instance Control.Monad.Trans.Class.MonadTrans Data.Geodetic.EllipsoidReaderT.EllipsoidReaderT
instance Control.Monad.IO.Class.MonadIO f => Control.Monad.IO.Class.MonadIO (Data.Geodetic.EllipsoidReaderT.EllipsoidReaderT f)
instance Control.Monad.Fix.MonadFix f => Control.Monad.Fix.MonadFix (Data.Geodetic.EllipsoidReaderT.EllipsoidReaderT f)
instance Control.Monad.Zip.MonadZip f => Control.Monad.Zip.MonadZip (Data.Geodetic.EllipsoidReaderT.EllipsoidReaderT f)

module Data.Geodetic