Control.Effects.Cont

Documentation

shift :: (c ~ ContT r m, AutoLift c n, Monad m) => Proxy c -> ((m a -> m r) -> m r) -> n a

reset :: Monad m => Handler a a m a