Data.Effect.Cont

Documentation

data CallCC (m :: Type -> Type) a where

Constructors

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

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

callCC' :: forall {k} (tag :: k) a m. SendHOE (TagH CallCC tag) m => (forall r. (a -> m r) -> m a) -> m a

callCC'' :: forall {k} (key :: k) a m. SendHOEBy key CallCC m => (forall r. (a -> m r) -> m a) -> m a