Data.Geodetic.EllipsoidReaderT

Documentation

newtype EllipsoidReaderT f a

Constructors

EllipsoidReaderT (Ellipsoid -> f a)

Instances

MonadTrans EllipsoidReaderT

Methods

lift :: Monad m => m a -> EllipsoidReaderT m a

Monad f => Monad (EllipsoidReaderT f)

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)

Methods

fmap :: (a -> b) -> EllipsoidReaderT f a -> EllipsoidReaderT f b

(<$) :: a -> EllipsoidReaderT f b -> EllipsoidReaderT f a

MonadFix f => MonadFix (EllipsoidReaderT f)

Methods

mfix :: (a -> EllipsoidReaderT f a) -> EllipsoidReaderT f a

Applicative f => Applicative (EllipsoidReaderT f)

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)

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)

Methods

liftIO :: IO a -> EllipsoidReaderT f a

Alternative f => Alternative (EllipsoidReaderT f)

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)

Methods

mzero :: EllipsoidReaderT f a

mplus :: EllipsoidReaderT f a -> EllipsoidReaderT f a -> EllipsoidReaderT f a

Wrapped (EllipsoidReaderT f a)

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

type Unwrapped (EllipsoidReaderT f a)

type Unwrapped (EllipsoidReaderT f a) = Ellipsoid -> 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)