effects-0: Computational Effects

Control.Effects.Cont

Documentation

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

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