Control.Monad.Stack.Writer

Documentation

class Monad m => WriterStack m where

Associated Types

type PopWriter m :: * -> *

Methods

liftWriter :: PopWriter m a -> m a

Instances

WriterStack m => WriterStack (MaybeT m)

Defined in Control.Monad.Stack.Writer

Associated Types

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

Methods

liftWriter :: PopWriter (MaybeT m) a -> MaybeT m a

WriterStack m => WriterStack (IdentityT m)

Defined in Control.Monad.Stack.Writer

Associated Types

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

Methods

liftWriter :: PopWriter (IdentityT m) a -> IdentityT m a

WriterStack m => WriterStack (ExceptT e m)

Defined in Control.Monad.Stack.Writer

Associated Types

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

Methods

liftWriter :: PopWriter (ExceptT e m) a -> ExceptT e m a

WriterStack m => WriterStack (ReaderT r m)

Defined in Control.Monad.Stack.Writer

Associated Types

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

Methods

liftWriter :: PopWriter (ReaderT r m) a -> ReaderT r m a

WriterStack m => WriterStack (StateT s m)

Defined in Control.Monad.Stack.Writer

Associated Types

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

Methods

liftWriter :: PopWriter (StateT s m) a -> StateT s m a

WriterStack m => WriterStack (StateT s m)

Defined in Control.Monad.Stack.Writer

Associated Types

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

Methods

liftWriter :: PopWriter (StateT s m) a -> StateT s m a

(Monad m, Monoid w) => WriterStack (WriterT w m)

Defined in Control.Monad.Stack.Writer

Associated Types

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

Methods

liftWriter :: PopWriter (WriterT w m) a -> WriterT w m a

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

Defined in Control.Monad.Stack.Writer

Associated Types

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

Methods

liftWriter :: PopWriter (WriterT w m) a -> WriterT w m a

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

Defined in Control.Monad.Stack.Writer

Associated Types

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

Methods

liftWriter :: PopWriter (AccumT w m) a -> AccumT w m a

(Monad m, Monoid w) => WriterStack (WriterT w m)

Defined in Control.Monad.Stack.Writer

Associated Types

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

Methods

liftWriter :: PopWriter (WriterT w m) a -> WriterT w m a

WriterStack m => WriterStack (SelectT r m)

Defined in Control.Monad.Stack.Writer

Associated Types

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

Methods

liftWriter :: PopWriter (SelectT r m) a -> SelectT r m a

WriterStack m => WriterStack (ContT r m)

Defined in Control.Monad.Stack.Writer

Associated Types

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

Methods

liftWriter :: PopWriter (ContT r m) a -> ContT r m a

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

Defined in Control.Monad.Stack.Writer

Associated Types

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

Methods

liftWriter :: PopWriter (RWST r w s m) a -> RWST r w s m a

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

Defined in Control.Monad.Stack.Writer

Associated Types

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

Methods

liftWriter :: PopWriter (RWST r w s m) a -> RWST r w s m a

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

Defined in Control.Monad.Stack.Writer

Associated Types

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

Methods

liftWriter :: PopWriter (RWST r w s m) a -> RWST r w s m a

type WriterDepth n m = IteratePop n WriterT m

type WriterConstraints n m = (KnownNat n, StackConstraints n WriterT WriterStack m)

type MonadWriterDepth n m w = (WriterConstraints n m, MonadWriter w (WriterDepth n m))

depthWriter :: forall n m a. WriterConstraints n m => WriterDepth n m a -> m a