Safe Haskell	None
Language	Haskell2010

Control.Monad.Stack.Reader

Documentation

class Monad m => ReaderStack m where Source #

Associated Types

type PopReader m :: * -> * Source #

Methods

liftReader :: PopReader m a -> m a Source #

Instances

ReaderStack m => ReaderStack (MaybeT m) Source #
Instance details Defined in Control.Monad.Stack.Reader Associated Types type PopReader (MaybeT m) :: Type -> Type Source # Methods liftReader :: PopReader (MaybeT m) a -> MaybeT m a Source #
ReaderStack m => ReaderStack (IdentityT m) Source #
Instance details Defined in Control.Monad.Stack.Reader Associated Types type PopReader (IdentityT m) :: Type -> Type Source # Methods liftReader :: PopReader (IdentityT m) a -> IdentityT m a Source #
Monad m => ReaderStack (ExceptT e m) Source #
Instance details Defined in Control.Monad.Stack.Reader Associated Types type PopReader (ExceptT e m) :: Type -> Type Source # Methods liftReader :: PopReader (ExceptT e m) a -> ExceptT e m a Source #
Monad m => ReaderStack (ReaderT r m) Source #
Instance details Defined in Control.Monad.Stack.Reader Associated Types type PopReader (ReaderT r m) :: Type -> Type Source # Methods liftReader :: PopReader (ReaderT r m) a -> ReaderT r m a Source #
ReaderStack m => ReaderStack (StateT s m) Source #
Instance details Defined in Control.Monad.Stack.Reader Associated Types type PopReader (StateT s m) :: Type -> Type Source # Methods liftReader :: PopReader (StateT s m) a -> StateT s m a Source #
ReaderStack m => ReaderStack (StateT s m) Source #
Instance details Defined in Control.Monad.Stack.Reader Associated Types type PopReader (StateT s m) :: Type -> Type Source # Methods liftReader :: PopReader (StateT s m) a -> StateT s m a Source #
(ReaderStack m, Monoid w) => ReaderStack (WriterT w m) Source #
Instance details Defined in Control.Monad.Stack.Reader Associated Types type PopReader (WriterT w m) :: Type -> Type Source # Methods liftReader :: PopReader (WriterT w m) a -> WriterT w m a Source #
(ReaderStack m, Monoid w) => ReaderStack (WriterT w m) Source #
Instance details Defined in Control.Monad.Stack.Reader Associated Types type PopReader (WriterT w m) :: Type -> Type Source # Methods liftReader :: PopReader (WriterT w m) a -> WriterT w m a Source #
(ReaderStack m, Monoid w) => ReaderStack (AccumT w m) Source #
Instance details Defined in Control.Monad.Stack.Reader Associated Types type PopReader (AccumT w m) :: Type -> Type Source # Methods liftReader :: PopReader (AccumT w m) a -> AccumT w m a Source #
(ReaderStack m, Monoid w) => ReaderStack (WriterT w m) Source #
Instance details Defined in Control.Monad.Stack.Reader Associated Types type PopReader (WriterT w m) :: Type -> Type Source # Methods liftReader :: PopReader (WriterT w m) a -> WriterT w m a Source #
ReaderStack m => ReaderStack (SelectT r m) Source #
Instance details Defined in Control.Monad.Stack.Reader Associated Types type PopReader (SelectT r m) :: Type -> Type Source # Methods liftReader :: PopReader (SelectT r m) a -> SelectT r m a Source #
ReaderStack m => ReaderStack (ContT r m) Source #
Instance details Defined in Control.Monad.Stack.Reader Associated Types type PopReader (ContT r m) :: Type -> Type Source # Methods liftReader :: PopReader (ContT r m) a -> ContT r m a Source #
(Monad m, Monoid w) => ReaderStack (RWST r w s m) Source #
Instance details Defined in Control.Monad.Stack.Reader Associated Types type PopReader (RWST r w s m) :: Type -> Type Source # Methods liftReader :: PopReader (RWST r w s m) a -> RWST r w s m a Source #
(Monad m, Monoid w) => ReaderStack (RWST r w s m) Source #
Instance details Defined in Control.Monad.Stack.Reader Associated Types type PopReader (RWST r w s m) :: Type -> Type Source # Methods liftReader :: PopReader (RWST r w s m) a -> RWST r w s m a Source #
(Monad m, Monoid w) => ReaderStack (RWST r w s m) Source #
Instance details Defined in Control.Monad.Stack.Reader Associated Types type PopReader (RWST r w s m) :: Type -> Type Source # Methods liftReader :: PopReader (RWST r w s m) a -> RWST r w s m a Source #

type ReaderDepth n m = IteratePop n ReaderT m Source #

type ReaderConstraints n m = (KnownNat n, StackConstraints n ReaderT ReaderStack m) Source #

type MonadReaderDepth n m r = (ReaderConstraints n m, MonadReader r (ReaderDepth n m)) Source #

depthReader :: forall n m a. ReaderConstraints n m => ReaderDepth n m a -> m a Source #