Control.Monad.Stack.Reader

Documentation

class Monad m => ReaderStack m where

Associated Types

type PopReader m :: * -> *

Methods

liftReader :: PopReader m a -> m a

Instances

ReaderStack m => ReaderStack (MaybeT m)

Defined in Control.Monad.Stack.Reader

Associated Types

type PopReader (MaybeT m) :: Type -> Type

Methods

liftReader :: PopReader (MaybeT m) a -> MaybeT m a

ReaderStack m => ReaderStack (IdentityT m)

Defined in Control.Monad.Stack.Reader

Associated Types

type PopReader (IdentityT m) :: Type -> Type

Methods

liftReader :: PopReader (IdentityT m) a -> IdentityT m a

Monad m => ReaderStack (ExceptT e m)

Defined in Control.Monad.Stack.Reader

Associated Types

type PopReader (ExceptT e m) :: Type -> Type

Methods

liftReader :: PopReader (ExceptT e m) a -> ExceptT e m a

Monad m => ReaderStack (ReaderT r m)

Defined in Control.Monad.Stack.Reader

Associated Types

type PopReader (ReaderT r m) :: Type -> Type

Methods

liftReader :: PopReader (ReaderT r m) a -> ReaderT r m a

ReaderStack m => ReaderStack (StateT s m)

Defined in Control.Monad.Stack.Reader

Associated Types

type PopReader (StateT s m) :: Type -> Type

Methods

liftReader :: PopReader (StateT s m) a -> StateT s m a

ReaderStack m => ReaderStack (StateT s m)

Defined in Control.Monad.Stack.Reader

Associated Types

type PopReader (StateT s m) :: Type -> Type

Methods

liftReader :: PopReader (StateT s m) a -> StateT s m a

(ReaderStack m, Monoid w) => ReaderStack (WriterT w m)

Defined in Control.Monad.Stack.Reader

Associated Types

type PopReader (WriterT w m) :: Type -> Type

Methods

liftReader :: PopReader (WriterT w m) a -> WriterT w m a

(ReaderStack m, Monoid w) => ReaderStack (WriterT w m)

Defined in Control.Monad.Stack.Reader

Associated Types

type PopReader (WriterT w m) :: Type -> Type

Methods

liftReader :: PopReader (WriterT w m) a -> WriterT w m a

(ReaderStack m, Monoid w) => ReaderStack (AccumT w m)

Defined in Control.Monad.Stack.Reader

Associated Types

type PopReader (AccumT w m) :: Type -> Type

Methods

liftReader :: PopReader (AccumT w m) a -> AccumT w m a

(ReaderStack m, Monoid w) => ReaderStack (WriterT w m)

Defined in Control.Monad.Stack.Reader

Associated Types

type PopReader (WriterT w m) :: Type -> Type

Methods

liftReader :: PopReader (WriterT w m) a -> WriterT w m a

ReaderStack m => ReaderStack (SelectT r m)

Defined in Control.Monad.Stack.Reader

Associated Types

type PopReader (SelectT r m) :: Type -> Type

Methods

liftReader :: PopReader (SelectT r m) a -> SelectT r m a

ReaderStack m => ReaderStack (ContT r m)

Defined in Control.Monad.Stack.Reader

Associated Types

type PopReader (ContT r m) :: Type -> Type

Methods

liftReader :: PopReader (ContT r m) a -> ContT r m a

(Monad m, Monoid w) => ReaderStack (RWST r w s m)

Defined in Control.Monad.Stack.Reader

Associated Types

type PopReader (RWST r w s m) :: Type -> Type

Methods

liftReader :: PopReader (RWST r w s m) a -> RWST r w s m a

(Monad m, Monoid w) => ReaderStack (RWST r w s m)

Defined in Control.Monad.Stack.Reader

Associated Types

type PopReader (RWST r w s m) :: Type -> Type

Methods

liftReader :: PopReader (RWST r w s m) a -> RWST r w s m a

(Monad m, Monoid w) => ReaderStack (RWST r w s m)

Defined in Control.Monad.Stack.Reader

Associated Types

type PopReader (RWST r w s m) :: Type -> Type

Methods

liftReader :: PopReader (RWST r w s m) a -> RWST r w s m a

type ReaderDepth n m = IteratePop n ReaderT m

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

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

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