Modulelinear-base-0.8.1

Control.Functor.Linear.Internal.Reader

Synopsis

valueask :: Applicative m => ReaderT r m r

valueasks :: Monad m => (r %1 -> a) %1 -> ReaderT r m a

valuelocal :: (r %1 -> r) %1 -> ReaderT r m a %1 -> ReaderT r m a

valuemapReader :: (a %1 -> b) %1 -> Reader r a %1 -> Reader r b

valuemapReaderT :: (m a %1 -> n b) %1 -> ReaderT r m a %1 -> ReaderT r n b

valuereader :: Monad m => (r %1 -> a) %1 -> ReaderT r m a

valuerunReader :: Reader r a %1 -> r %1 -> a

valuerunReaderT :: ReaderT r m a %1 -> r %1 -> m a

valuewithReader :: (r' %1 -> r) %1 -> Reader r a %1 -> Reader r' a

valuewithReaderT :: (r' %1 -> r) %1 -> ReaderT r m a %1 -> ReaderT r' m a

typetype Reader r = ReaderT r Identity

newtypenewtype ReaderT r (m :: Type -> Type) a

Instances7MonadTrans, Monad, Functor, Applicative, MonadIO, …

Dupable r => MonadTrans (ReaderT r)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader
(Applicative m, Dupable r) => Applicative (ReaderT r m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader
Functor m => Functor (ReaderT r m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader
(Monad m, Dupable r) => Monad (ReaderT r m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader
Functor m => Functor (ReaderT r m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader
(Applicative m, Dupable r) => Applicative (ReaderT r m)Defined in linear-base-0.8.1 · Control.Functor.Linear.Internal.Reader
(MonadIO m, Dupable r) => MonadIO (ReaderT r m)Defined in linear-base-0.8.1 · Control.Monad.IO.Class.Linear

Orphan instances

7 instances