Control.Monad.Eff.Exception

Documentation

data Exception e v

Exceptions of type e; no resumption

throwException :: Member (Exception e) r => e -> Eff r a

runException :: Eff (Exception e ': r) a -> Eff r (Either e a)

catchException :: Member (Exception e) r => Eff r a -> (e -> Eff r a) -> Eff r a

The handler is allowed to rethrow the exception