Safe Haskell	Safe
Language	Haskell98

Control.Monad.Cont.Extras

Description

Lifted MonadCont.

Synopsis

Documentation

Lifted MonadCont.

Minimal complete definition

Methods

callCC1 :: MonadCont m => ((a -> t m b) -> t m a) -> t m a Source #

Lifted callCC.

Instances

MonadCont1 ListT Source #
Methods callCC1 :: MonadCont m => ((a -> ListT m b) -> ListT m a) -> ListT m a Source #
MonadCont1 MaybeT Source #
Methods callCC1 :: MonadCont m => ((a -> MaybeT m b) -> MaybeT m a) -> MaybeT m a Source #
MonadCont1 (ExceptT e) Source #
Methods callCC1 :: MonadCont m => ((a -> ExceptT e m b) -> ExceptT e m a) -> ExceptT e m a Source #
MonadCont1 (StateT s) Source #
Methods callCC1 :: MonadCont m => ((a -> StateT s m b) -> StateT s m a) -> StateT s m a Source #
MonadCont1 (StateT s) Source #
Methods callCC1 :: MonadCont m => ((a -> StateT s m b) -> StateT s m a) -> StateT s m a Source #
Monoid w => MonadCont1 (WriterT w) Source #
Methods callCC1 :: MonadCont m => ((a -> WriterT w m b) -> WriterT w m a) -> WriterT w m a Source #
Monoid w => MonadCont1 (WriterT w) Source #
Methods callCC1 :: MonadCont m => ((a -> WriterT w m b) -> WriterT w m a) -> WriterT w m a Source #
MonadCont1 (IdentityT *) Source #
Methods callCC1 :: MonadCont m => ((a -> IdentityT * m b) -> IdentityT * m a) -> IdentityT * m a Source #
MonadCont1 (ReaderT * r) Source #
Methods callCC1 :: MonadCont m => ((a -> ReaderT * r m b) -> ReaderT * r m a) -> ReaderT * r m a Source #
Monoid w => MonadCont1 (RWST r w s) Source #
Methods callCC1 :: MonadCont m => ((a -> RWST r w s m b) -> RWST r w s m a) -> RWST r w s m a Source #
Monoid w => MonadCont1 (RWST r w s) Source #
Methods callCC1 :: MonadCont m => ((a -> RWST r w s m b) -> RWST r w s m a) -> RWST r w s m a Source #