more-extensible-effects-0.1.0.0: Initial project template from stack
Control.Monad.Eff.Exception
Synopsis
data Exception e v Source #
Exceptions of type e; no resumption
throwException :: Member (Exception e) r => e -> Eff r a Source #
runException :: Eff (Exception e ': r) a -> Eff r (Either e a) Source #
catchException :: Member (Exception e) r => Eff r a -> (e -> Eff r a) -> Eff r a Source #
The handler is allowed to rethrow the exception