HaskellWorks.Polysemy.Error

Documentation

module HaskellWorks.Error

trap :: forall e r a. (e -> Sem r a) -> Sem (Error e ': r) a -> Sem r a

Run a computation that may fail, and handle the error case. Unlike catch from Error this function removes the Error effect from the stack.

trap_ :: forall e r a. Sem r a -> Sem (Error e ': r) a -> Sem r a

Like trap, but the error is not passed to the handler.

embedRunExceptT :: Member (Embed m) r => ExceptT e m a -> Sem r (Either e a)

embedThrowExceptT :: Member (Error e) r => Member (Embed m) r => ExceptT e m a -> Sem r a

Run an embedded ExceptT effect in a Sem monad and throw any errors.