Control.Effects.Cont

Documentation

shift :: AutoLift r m n => Effect r m -> ((m a -> m r) -> m r) -> n a

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