Safe Haskell	None
Language	Haskell2010

Data.Geodetic.EllipsoidReaderT

Documentation

newtype EllipsoidReaderT f a Source #

Constructors

EllipsoidReaderT (Ellipsoid -> f a)

Instances

MonadTrans EllipsoidReaderT Source #
Methods lift :: Monad m => m a -> EllipsoidReaderT m a #
Monad f => Monad (EllipsoidReaderT f) Source #
Methods (>>=) :: EllipsoidReaderT f a -> (a -> EllipsoidReaderT f b) -> EllipsoidReaderT f b # (>>) :: EllipsoidReaderT f a -> EllipsoidReaderT f b -> EllipsoidReaderT f b # return :: a -> EllipsoidReaderT f a # fail :: String -> EllipsoidReaderT f a #
Functor f => Functor (EllipsoidReaderT f) Source #
Methods fmap :: (a -> b) -> EllipsoidReaderT f a -> EllipsoidReaderT f b # (<$) :: a -> EllipsoidReaderT f b -> EllipsoidReaderT f a #
MonadFix f => MonadFix (EllipsoidReaderT f) Source #
Methods mfix :: (a -> EllipsoidReaderT f a) -> EllipsoidReaderT f a #
Applicative f => Applicative (EllipsoidReaderT f) Source #
Methods pure :: a -> EllipsoidReaderT f a # (<>) :: EllipsoidReaderT f (a -> b) -> EllipsoidReaderT f a -> EllipsoidReaderT f b # liftA2 :: (a -> b -> c) -> EllipsoidReaderT f a -> EllipsoidReaderT f b -> EllipsoidReaderT f c # (>) :: EllipsoidReaderT f a -> EllipsoidReaderT f b -> EllipsoidReaderT f b # (<*) :: EllipsoidReaderT f a -> EllipsoidReaderT f b -> EllipsoidReaderT f a #
MonadZip f => MonadZip (EllipsoidReaderT f) Source #
Methods mzip :: EllipsoidReaderT f a -> EllipsoidReaderT f b -> EllipsoidReaderT f (a, b) # mzipWith :: (a -> b -> c) -> EllipsoidReaderT f a -> EllipsoidReaderT f b -> EllipsoidReaderT f c # munzip :: EllipsoidReaderT f (a, b) -> (EllipsoidReaderT f a, EllipsoidReaderT f b) #
MonadIO f => MonadIO (EllipsoidReaderT f) Source #
Methods liftIO :: IO a -> EllipsoidReaderT f a #
Alternative f => Alternative (EllipsoidReaderT f) Source #
Methods empty :: EllipsoidReaderT f a # (<\|>) :: EllipsoidReaderT f a -> EllipsoidReaderT f a -> EllipsoidReaderT f a # some :: EllipsoidReaderT f a -> EllipsoidReaderT f [a] # many :: EllipsoidReaderT f a -> EllipsoidReaderT f [a] #
MonadPlus f => MonadPlus (EllipsoidReaderT f) Source #
Methods mzero :: EllipsoidReaderT f a # mplus :: EllipsoidReaderT f a -> EllipsoidReaderT f a -> EllipsoidReaderT f a #
Wrapped (EllipsoidReaderT f a) Source #
Associated Types type Unwrapped (EllipsoidReaderT f a) :: * # Methods _Wrapped' :: Iso' (EllipsoidReaderT f a) (Unwrapped (EllipsoidReaderT f a)) #
(~) * (EllipsoidReaderT f1 a1) t => Rewrapped (EllipsoidReaderT f2 a2) t Source #

type Unwrapped (EllipsoidReaderT f a) Source #
type Unwrapped (EllipsoidReaderT f a) = Ellipsoid -> f a

type EllipsoidReader a = EllipsoidReaderT Identity a Source #

runEllipsoidReader :: Iso' (EllipsoidReader a) (Ellipsoid -> a) Source #

toEllipsoidReaderT :: Iso' (EllipsoidReaderT f a) (ReaderT Ellipsoid f a) Source #

hoistEllipsoidReader :: Applicative f => EllipsoidReader a -> EllipsoidReaderT f a Source #

arrEllipsoidReader :: Applicative f => (Ellipsoid -> a) -> EllipsoidReaderT f a Source #

readEllipsoid :: Applicative f => EllipsoidReaderT f Ellipsoid Source #

readSemiMajor :: Applicative f => EllipsoidReaderT f Double Source #

readFlattening :: Applicative f => EllipsoidReaderT f Double Source #

readFlatteningReciprocal :: Applicative f => EllipsoidReaderT f Double Source #

semiMinor :: Applicative f => EllipsoidReaderT f Double Source #

eccentricitySquared :: Applicative f => EllipsoidReaderT f Double Source #

eccentricitySquared' :: Applicative f => EllipsoidReaderT f Double Source #

distributeNormal :: Applicative f => Double -> EllipsoidReaderT f Double Source #

normal :: Applicative f => EllipsoidReaderT f (Double -> Double) Source #

wgs84' :: EllipsoidReader a -> a Source #

wgs84'' :: EllipsoidReaderT f a -> f a Source #

earthGeo :: Applicative f => EllipsoidReaderT f (ReifiedIso' ECEF LLH) Source #