Control.Monad.Cont.Extras

Lifted MonadCont.

Documentation

class MonadTrans t => MonadCont1 t where

Lifted MonadCont.

Minimal complete definition

callCC1

Methods

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

Lifted callCC.

Instances

MonadCont1 ListT

Methods

callCC1 :: MonadCont m => ((a -> ListT m b) -> ListT m a) -> ListT m a

MonadCont1 MaybeT

Methods

callCC1 :: MonadCont m => ((a -> MaybeT m b) -> MaybeT m a) -> MaybeT m a

MonadCont1 (ExceptT e)

Methods

callCC1 :: MonadCont m => ((a -> ExceptT e m b) -> ExceptT e m a) -> ExceptT e m a

MonadCont1 (StateT s)

Methods

callCC1 :: MonadCont m => ((a -> StateT s m b) -> StateT s m a) -> StateT s m a

MonadCont1 (StateT s)

Methods

callCC1 :: MonadCont m => ((a -> StateT s m b) -> StateT s m a) -> StateT s m a

Monoid w => MonadCont1 (WriterT w)

Methods

callCC1 :: MonadCont m => ((a -> WriterT w m b) -> WriterT w m a) -> WriterT w m a

Monoid w => MonadCont1 (WriterT w)

Methods

callCC1 :: MonadCont m => ((a -> WriterT w m b) -> WriterT w m a) -> WriterT w m a

MonadCont1 (IdentityT *)

Methods

callCC1 :: MonadCont m => ((a -> IdentityT * m b) -> IdentityT * m a) -> IdentityT * m a

MonadCont1 (ReaderT * r)

Methods

callCC1 :: MonadCont m => ((a -> ReaderT * r m b) -> ReaderT * r m a) -> ReaderT * r m a

Monoid w => MonadCont1 (RWST r w s)

Methods

callCC1 :: MonadCont m => ((a -> RWST r w s m b) -> RWST r w s m a) -> RWST r w s m a

Monoid w => MonadCont1 (RWST r w s)

Methods

callCC1 :: MonadCont m => ((a -> RWST r w s m b) -> RWST r w s m a) -> RWST r w s m a