Safe Haskell	None
Language	Haskell2010

Control.Monad.Stack.Writer

Documentation

class Monad m => WriterStack (m :: Type -> Type) where Source #

Associated Types

type PopWriter (m :: Type -> Type) :: Type -> Type Source #

Methods

liftWriter :: PopWriter m a -> m a Source #

Instances

Instances details

WriterStack m => WriterStack (MaybeT m) Source #

Instance details

Defined in Control.Monad.Stack.Writer

Associated Types

type PopWriter (MaybeT m)
Instance details Defined in Control.Monad.Stack.Writer type PopWriter (MaybeT m) = PopWriter m

Methods

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

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

Instance details

Defined in Control.Monad.Stack.Writer

Associated Types

type PopWriter (AccumT w m)
Instance details Defined in Control.Monad.Stack.Writer type PopWriter (AccumT w m) = PopWriter m

Methods

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

WriterStack m => WriterStack (ExceptT e m) Source #

Instance details

Defined in Control.Monad.Stack.Writer

Associated Types

type PopWriter (ExceptT e m)
Instance details Defined in Control.Monad.Stack.Writer type PopWriter (ExceptT e m) = PopWriter m

Methods

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

WriterStack m => WriterStack (IdentityT m) Source #

Instance details

Defined in Control.Monad.Stack.Writer

Associated Types

type PopWriter (IdentityT m)
Instance details Defined in Control.Monad.Stack.Writer type PopWriter (IdentityT m) = PopWriter m

Methods

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

WriterStack m => WriterStack (ReaderT r m) Source #

Instance details

Defined in Control.Monad.Stack.Writer

Associated Types

type PopWriter (ReaderT r m)
Instance details Defined in Control.Monad.Stack.Writer type PopWriter (ReaderT r m) = PopWriter m

Methods

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

WriterStack m => WriterStack (SelectT r m) Source #

Instance details

Defined in Control.Monad.Stack.Writer

Associated Types

type PopWriter (SelectT r m)
Instance details Defined in Control.Monad.Stack.Writer type PopWriter (SelectT r m) = PopWriter m

Methods

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

WriterStack m => WriterStack (StateT s m) Source #

Instance details

Defined in Control.Monad.Stack.Writer

Associated Types

type PopWriter (StateT s m)
Instance details Defined in Control.Monad.Stack.Writer type PopWriter (StateT s m) = PopWriter m

Methods

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

WriterStack m => WriterStack (StateT s m) Source #

Instance details

Defined in Control.Monad.Stack.Writer

Associated Types

type PopWriter (StateT s m)
Instance details Defined in Control.Monad.Stack.Writer type PopWriter (StateT s m) = PopWriter m

Methods

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

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

Instance details

Defined in Control.Monad.Stack.Writer

Associated Types

type PopWriter (WriterT w m)
Instance details Defined in Control.Monad.Stack.Writer type PopWriter (WriterT w m) = m

Methods

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

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

Instance details

Defined in Control.Monad.Stack.Writer

Associated Types

type PopWriter (WriterT w m)
Instance details Defined in Control.Monad.Stack.Writer type PopWriter (WriterT w m) = m

Methods

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

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

Instance details

Defined in Control.Monad.Stack.Writer

Associated Types

type PopWriter (WriterT w m)
Instance details Defined in Control.Monad.Stack.Writer type PopWriter (WriterT w m) = PopWriter m

Methods

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

WriterStack m => WriterStack (ContT r m) Source #

Instance details

Defined in Control.Monad.Stack.Writer

Associated Types

type PopWriter (ContT r m)
Instance details Defined in Control.Monad.Stack.Writer type PopWriter (ContT r m) = PopWriter m

Methods

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

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

Instance details

Defined in Control.Monad.Stack.Writer

Associated Types

type PopWriter (RWST r w s m)
Instance details Defined in Control.Monad.Stack.Writer type PopWriter (RWST r w s m) = m

Methods

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

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

Instance details

Defined in Control.Monad.Stack.Writer

Associated Types

type PopWriter (RWST r w s m)
Instance details Defined in Control.Monad.Stack.Writer type PopWriter (RWST r w s m) = m

Methods

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

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

Instance details

Defined in Control.Monad.Stack.Writer

Associated Types

type PopWriter (RWST r w s m)
Instance details Defined in Control.Monad.Stack.Writer type PopWriter (RWST r w s m) = m

Methods

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

type WriterDepth (n :: Nat) (m :: Type -> Type) = IteratePop n WriterT m Source #

type WriterConstraints (n :: Nat) (m :: Type -> Type) = (KnownNat n, StackConstraints n WriterT WriterStack m) Source #

type MonadWriterDepth (n :: Nat) (m :: Type -> Type) w = (WriterConstraints n m, MonadWriter w (WriterDepth n m)) Source #

depthWriter :: forall (n :: Nat) m a. WriterConstraints n m => WriterDepth n m a -> m a Source #