Polysemy.Resume.Stop

Documentation

hush :: Either e a -> Maybe a

runStop :: Sem (Stop e ': r) a -> Sem r (Either e a)

Equivalent of runError.

stopOnError :: Member (Stop err) r => Sem (Error err ': r) a -> Sem r a

Convert a program using regular Errors to one using Stop.

stopToError :: Member (Error err) r => Sem (Stop err ': r) a -> Sem r a

Convert a program using Stop to one using Error.