Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type EffectException e es = (Member (Exception e) es, e ~ ExceptionType es)
- data Exception e a
- runException :: Effect (Exception e : es) a -> Effect es (Either e a)
- raise :: EffectException e es => e -> Effect es a
- except :: EffectException e es => Effect es a -> (e -> Effect es a) -> Effect es a
- finally :: EffectException e es => Effect es a -> Effect es () -> Effect es a
Documentation
type EffectException e es = (Member (Exception e) es, e ~ ExceptionType es) Source
runException :: Effect (Exception e : es) a -> Effect es (Either e a) Source
Completely handles an exception effect.
raise :: EffectException e es => e -> Effect es a Source
Raises an exception.