Control.Monad.Stack.State

Documentation

class Monad m => StateStack m where

Associated Types

type PopState m :: * -> *

Methods

liftState :: PopState m a -> m a

Instances

StateStack m => StateStack (MaybeT m)

Defined in Control.Monad.Stack.State

Associated Types

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

Methods

liftState :: PopState (MaybeT m) a -> MaybeT m a

StateStack m => StateStack (IdentityT m)

Defined in Control.Monad.Stack.State

Associated Types

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

Methods

liftState :: PopState (IdentityT m) a -> IdentityT m a

StateStack m => StateStack (ExceptT e m)

Defined in Control.Monad.Stack.State

Associated Types

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

Methods

liftState :: PopState (ExceptT e m) a -> ExceptT e m a

StateStack m => StateStack (ReaderT r m)

Defined in Control.Monad.Stack.State

Associated Types

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

Methods

liftState :: PopState (ReaderT r m) a -> ReaderT r m a

Monad m => StateStack (StateT s m)

Defined in Control.Monad.Stack.State

Associated Types

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

Methods

liftState :: PopState (StateT s m) a -> StateT s m a

Monad m => StateStack (StateT s m)

Defined in Control.Monad.Stack.State

Associated Types

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

Methods

liftState :: PopState (StateT s m) a -> StateT s m a

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

Defined in Control.Monad.Stack.State

Associated Types

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

Methods

liftState :: PopState (WriterT w m) a -> WriterT w m a

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

Defined in Control.Monad.Stack.State

Associated Types

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

Methods

liftState :: PopState (WriterT w m) a -> WriterT w m a

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

Defined in Control.Monad.Stack.State

Associated Types

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

Methods

liftState :: PopState (AccumT w m) a -> AccumT w m a

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

Defined in Control.Monad.Stack.State

Associated Types

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

Methods

liftState :: PopState (WriterT w m) a -> WriterT w m a

StateStack m => StateStack (SelectT r m)

Defined in Control.Monad.Stack.State

Associated Types

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

Methods

liftState :: PopState (SelectT r m) a -> SelectT r m a

StateStack m => StateStack (ContT r m)

Defined in Control.Monad.Stack.State

Associated Types

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

Methods

liftState :: PopState (ContT r m) a -> ContT r m a

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

Defined in Control.Monad.Stack.State

Associated Types

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

Methods

liftState :: PopState (RWST r w s m) a -> RWST r w s m a

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

Defined in Control.Monad.Stack.State

Associated Types

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

Methods

liftState :: PopState (RWST r w s m) a -> RWST r w s m a

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

Defined in Control.Monad.Stack.State

Associated Types

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

Methods

liftState :: PopState (RWST r w s m) a -> RWST r w s m a

type StateDepth n m = IteratePop n StateT m

type StateConstraints n m = (KnownNat n, StackConstraints n StateT StateStack m)

type MonadStateDepth n m s = (StateConstraints n m, MonadState s (StateDepth n m))

depthState :: forall n m a. StateConstraints n m => StateDepth n m a -> m a