Control.Monad.Ology.General.Cont

Documentation

class Monad m => MonadCont m where

Methods

callCC :: ((a -> m b) -> m a) -> m a

Instances

(MonadTransTunnel t, MonadCont m, Monad (t m)) => MonadCont (t m)

Defined in Control.Monad.Ology.General.Cont

Methods

callCC :: ((a -> t m b) -> t m a) -> t m a

MonadCont (ContT r m)

Defined in Control.Monad.Ology.Specific.ContT

Methods

callCC :: ((a -> ContT r m b) -> ContT r m a) -> ContT r m a