Control.Monad.Stack.Accum

Documentation

class Monad m => AccumStack m where

Associated Types

type PopAccum m :: * -> *

Methods

liftAccum :: PopAccum m a -> m a

Instances

AccumStack m => AccumStack (MaybeT m)

Defined in Control.Monad.Stack.Accum

Associated Types

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

Methods

liftAccum :: PopAccum (MaybeT m) a -> MaybeT m a

AccumStack m => AccumStack (IdentityT m)

Defined in Control.Monad.Stack.Accum

Associated Types

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

Methods

liftAccum :: PopAccum (IdentityT m) a -> IdentityT m a

AccumStack m => AccumStack (ExceptT e m)

Defined in Control.Monad.Stack.Accum

Associated Types

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

Methods

liftAccum :: PopAccum (ExceptT e m) a -> ExceptT e m a

AccumStack m => AccumStack (ReaderT r m)

Defined in Control.Monad.Stack.Accum

Associated Types

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

Methods

liftAccum :: PopAccum (ReaderT r m) a -> ReaderT r m a

AccumStack m => AccumStack (StateT s m)

Defined in Control.Monad.Stack.Accum

Associated Types

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

Methods

liftAccum :: PopAccum (StateT s m) a -> StateT s m a

AccumStack m => AccumStack (StateT s m)

Defined in Control.Monad.Stack.Accum

Associated Types

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

Methods

liftAccum :: PopAccum (StateT s m) a -> StateT s m a

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

Defined in Control.Monad.Stack.Accum

Associated Types

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

Methods

liftAccum :: PopAccum (WriterT w m) a -> WriterT w m a

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

Defined in Control.Monad.Stack.Accum

Associated Types

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

Methods

liftAccum :: PopAccum (WriterT w m) a -> WriterT w m a

(Monad m, Monoid w) => AccumStack (AccumT w m)

Defined in Control.Monad.Stack.Accum

Associated Types

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

Methods

liftAccum :: PopAccum (AccumT w m) a -> AccumT w m a

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

Defined in Control.Monad.Stack.Accum

Associated Types

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

Methods

liftAccum :: PopAccum (WriterT w m) a -> WriterT w m a

AccumStack m => AccumStack (SelectT r m)

Defined in Control.Monad.Stack.Accum

Associated Types

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

Methods

liftAccum :: PopAccum (SelectT r m) a -> SelectT r m a

AccumStack m => AccumStack (ContT r m)

Defined in Control.Monad.Stack.Accum

Associated Types

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

Methods

liftAccum :: PopAccum (ContT r m) a -> ContT r m a

(AccumStack m, Monoid w) => AccumStack (RWST r w s m)

Defined in Control.Monad.Stack.Accum

Associated Types

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

Methods

liftAccum :: PopAccum (RWST r w s m) a -> RWST r w s m a

(AccumStack m, Monoid w) => AccumStack (RWST r w s m)

Defined in Control.Monad.Stack.Accum

Associated Types

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

Methods

liftAccum :: PopAccum (RWST r w s m) a -> RWST r w s m a

(AccumStack m, Monoid w) => AccumStack (RWST r w s m)

Defined in Control.Monad.Stack.Accum

Associated Types

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

Methods

liftAccum :: PopAccum (RWST r w s m) a -> RWST r w s m a

type AccumDepth n m = IteratePop n AccumT m

type AccumConstraints n m = (KnownNat n, StackConstraints n AccumT AccumStack m)

depthAccum :: forall n m a. AccumConstraints n m => AccumDepth n m a -> m a