Data.Effect.Cont

Documentation

data CallCC m a where

Constructors

CallCC :: (forall r. (a -> m r) -> m a) -> CallCC m a

callCC'' :: forall key (a :: Type) m. SendSigBy key CallCC m => (forall (r :: Type). (a -> m r) -> m a) -> m a

callCC' :: forall tag (a :: Type) m. SendSig (TagH CallCC tag) m => (forall (r :: Type). (a -> m r) -> m a) -> m a

callCC :: forall (a :: Type) m. SendSig CallCC m => (forall (r :: Type). (a -> m r) -> m a) -> m a