Safe Haskell	None
Language	Haskell2010

Control.Monad.Stack.Cont

Documentation

class Monad m => ContStack m where Source #

Associated Types

type PopCont m :: * -> * Source #

Methods

liftCont :: PopCont m a -> m a Source #

Instances

ContStack m => ContStack (MaybeT m) Source #
Instance details Defined in Control.Monad.Stack.Cont Associated Types type PopCont (MaybeT m) :: Type -> Type Source # Methods liftCont :: PopCont (MaybeT m) a -> MaybeT m a Source #
ContStack m => ContStack (IdentityT m) Source #
Instance details Defined in Control.Monad.Stack.Cont Associated Types type PopCont (IdentityT m) :: Type -> Type Source # Methods liftCont :: PopCont (IdentityT m) a -> IdentityT m a Source #
ContStack m => ContStack (ExceptT e m) Source #
Instance details Defined in Control.Monad.Stack.Cont Associated Types type PopCont (ExceptT e m) :: Type -> Type Source # Methods liftCont :: PopCont (ExceptT e m) a -> ExceptT e m a Source #
ContStack m => ContStack (ReaderT r m) Source #
Instance details Defined in Control.Monad.Stack.Cont Associated Types type PopCont (ReaderT r m) :: Type -> Type Source # Methods liftCont :: PopCont (ReaderT r m) a -> ReaderT r m a Source #
ContStack m => ContStack (StateT s m) Source #
Instance details Defined in Control.Monad.Stack.Cont Associated Types type PopCont (StateT s m) :: Type -> Type Source # Methods liftCont :: PopCont (StateT s m) a -> StateT s m a Source #
ContStack m => ContStack (StateT s m) Source #
Instance details Defined in Control.Monad.Stack.Cont Associated Types type PopCont (StateT s m) :: Type -> Type Source # Methods liftCont :: PopCont (StateT s m) a -> StateT s m a Source #
(ContStack m, Monoid w) => ContStack (WriterT w m) Source #
Instance details Defined in Control.Monad.Stack.Cont Associated Types type PopCont (WriterT w m) :: Type -> Type Source # Methods liftCont :: PopCont (WriterT w m) a -> WriterT w m a Source #
(ContStack m, Monoid w) => ContStack (WriterT w m) Source #
Instance details Defined in Control.Monad.Stack.Cont Associated Types type PopCont (WriterT w m) :: Type -> Type Source # Methods liftCont :: PopCont (WriterT w m) a -> WriterT w m a Source #
(ContStack m, Monoid w) => ContStack (AccumT w m) Source #
Instance details Defined in Control.Monad.Stack.Cont Associated Types type PopCont (AccumT w m) :: Type -> Type Source # Methods liftCont :: PopCont (AccumT w m) a -> AccumT w m a Source #
(ContStack m, Monoid w) => ContStack (WriterT w m) Source #
Instance details Defined in Control.Monad.Stack.Cont Associated Types type PopCont (WriterT w m) :: Type -> Type Source # Methods liftCont :: PopCont (WriterT w m) a -> WriterT w m a Source #
ContStack m => ContStack (SelectT r m) Source #
Instance details Defined in Control.Monad.Stack.Cont Associated Types type PopCont (SelectT r m) :: Type -> Type Source # Methods liftCont :: PopCont (SelectT r m) a -> SelectT r m a Source #
Monad m => ContStack (ContT r m) Source #
Instance details Defined in Control.Monad.Stack.Cont Associated Types type PopCont (ContT r m) :: Type -> Type Source # Methods liftCont :: PopCont (ContT r m) a -> ContT r m a Source #
(ContStack m, Monoid w) => ContStack (RWST r w s m) Source #
Instance details Defined in Control.Monad.Stack.Cont Associated Types type PopCont (RWST r w s m) :: Type -> Type Source # Methods liftCont :: PopCont (RWST r w s m) a -> RWST r w s m a Source #
(ContStack m, Monoid w) => ContStack (RWST r w s m) Source #
Instance details Defined in Control.Monad.Stack.Cont Associated Types type PopCont (RWST r w s m) :: Type -> Type Source # Methods liftCont :: PopCont (RWST r w s m) a -> RWST r w s m a Source #
(ContStack m, Monoid w) => ContStack (RWST r w s m) Source #
Instance details Defined in Control.Monad.Stack.Cont Associated Types type PopCont (RWST r w s m) :: Type -> Type Source # Methods liftCont :: PopCont (RWST r w s m) a -> RWST r w s m a Source #

type ContDepth n m = IteratePop n ContTag m Source #

type ContConstraints n m = (KnownNat n, StackConstraints n ContTag ContStack m) Source #

type MonadContDepth n m = (ContConstraints n m, MonadCont (ContDepth n m)) Source #

depthCont :: forall n m a. ContConstraints n m => ContDepth n m a -> m a Source #