Safe Haskell	None
Language	Haskell2010

Control.Monad.Stack.State

Documentation

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

Associated Types

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

Methods

liftState :: PopState m a -> m a Source #

Instances

Instances details

StateStack m => StateStack (MaybeT m) Source #

Instance details

Defined in Control.Monad.Stack.State

Associated Types

type PopState (MaybeT m)
Instance details Defined in Control.Monad.Stack.State type PopState (MaybeT m) = PopState m

Methods

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

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

Instance details

Defined in Control.Monad.Stack.State

Associated Types

type PopState (AccumT w m)
Instance details Defined in Control.Monad.Stack.State type PopState (AccumT w m) = PopState m

Methods

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

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

Instance details

Defined in Control.Monad.Stack.State

Associated Types

type PopState (ExceptT e m)
Instance details Defined in Control.Monad.Stack.State type PopState (ExceptT e m) = PopState m

Methods

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

StateStack m => StateStack (IdentityT m) Source #

Instance details

Defined in Control.Monad.Stack.State

Associated Types

type PopState (IdentityT m)
Instance details Defined in Control.Monad.Stack.State type PopState (IdentityT m) = PopState m

Methods

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

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

Instance details

Defined in Control.Monad.Stack.State

Associated Types

type PopState (ReaderT r m)
Instance details Defined in Control.Monad.Stack.State type PopState (ReaderT r m) = PopState m

Methods

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

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

Instance details

Defined in Control.Monad.Stack.State

Associated Types

type PopState (SelectT r m)
Instance details Defined in Control.Monad.Stack.State type PopState (SelectT r m) = PopState m

Methods

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

Monad m => StateStack (StateT s m) Source #

Instance details

Defined in Control.Monad.Stack.State

Associated Types

type PopState (StateT s m)
Instance details Defined in Control.Monad.Stack.State type PopState (StateT s m) = m

Methods

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

Monad m => StateStack (StateT s m) Source #

Instance details

Defined in Control.Monad.Stack.State

Associated Types

type PopState (StateT s m)
Instance details Defined in Control.Monad.Stack.State type PopState (StateT s m) = m

Methods

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

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

Instance details

Defined in Control.Monad.Stack.State

Associated Types

type PopState (WriterT w m)
Instance details Defined in Control.Monad.Stack.State type PopState (WriterT w m) = PopState m

Methods

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

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

Instance details

Defined in Control.Monad.Stack.State

Associated Types

type PopState (WriterT w m)
Instance details Defined in Control.Monad.Stack.State type PopState (WriterT w m) = PopState m

Methods

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

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

Instance details

Defined in Control.Monad.Stack.State

Associated Types

type PopState (WriterT w m)
Instance details Defined in Control.Monad.Stack.State type PopState (WriterT w m) = PopState m

Methods

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

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

Instance details

Defined in Control.Monad.Stack.State

Associated Types

type PopState (ContT r m)
Instance details Defined in Control.Monad.Stack.State type PopState (ContT r m) = PopState m

Methods

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

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

Instance details

Defined in Control.Monad.Stack.State

Associated Types

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

Methods

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

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

Instance details

Defined in Control.Monad.Stack.State

Associated Types

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

Methods

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

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

Instance details

Defined in Control.Monad.Stack.State

Associated Types

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

Methods

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

type StateDepth (n :: Nat) (m :: Type -> Type) = IteratePop n StateT m Source #

type StateConstraints (n :: Nat) (m :: Type -> Type) = (KnownNat n, StackConstraints n StateT StateStack m) Source #

type MonadStateDepth (n :: Nat) (m :: Type -> Type) s = (StateConstraints n m, MonadState s (StateDepth n m)) Source #

depthState :: forall (n :: Nat) m a. StateConstraints n m => StateDepth n m a -> m a Source #