Safe Haskell	None
Language	GHC2021

Control.Monad.Ology.General.Cont

Documentation

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

Methods

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

Instances details

(MonadTransTunnel t, MonadCont m, Monad (t m)) => MonadCont (t m) Source #
Instance details Defined in Control.Monad.Ology.General.Cont Methods callCC :: ((a -> t m b) -> t m a) -> t m a Source #
MonadCont (ContT r m) Source #
Instance details Defined in Control.Monad.Ology.Specific.ContT Methods callCC :: ((a -> ContT r m b) -> ContT r m a) -> ContT r m a Source #