Control.Eff.ExceptionExtra

Add-ons to Exception

Documentation

try :: forall e r a. Member (Exc e) r => Eff r a -> Eff r (Either e a)

Catch an exception and return it in an Either.

liftRethrow :: forall e r a. (Exception e, SetMember Lift (Lift IO) r, Member (Exc e) r) => (SomeException -> e) -> IO a -> Eff r a

Lift an IO action and catch all error using try then wrap the Exception using a given wrapper function and rethrow it using throwError.

runErrorRethrowIO :: forall e r a. (Exception e, SetMember Lift (Lift IO) r) => Eff (Exc e ': r) a -> Eff r a

Run an effect with exceptions like runError and rethrow it as SomeException using throw