Polysemy.Resume.Data.Resumable
data Resumable err eff m a where Source #
Effect that wraps another effect eff, marking it as throwing errors of type err using Stop.
eff
err
Stop
Constructors
type (!) eff err = Resumable err eff Source #
Infix alias for Resumable.
Resumable
Member (Stopper ! Boom) r =>