| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Control.Effect.Exception
Contents
- class (EffectBracket s l, MemberEffect Exception (Exception s e) l) => EffectException s e l
- data Exception s e a
- runException :: (EffectBracket s l, Show e) => Effect (Exception s e :+ l) a -> Effect l (Either e a)
- raise :: EffectException s e l => e -> Effect l a
- except :: EffectException s e l => Effect l a -> (e -> Effect l a) -> Effect l a
Documentation
class (EffectBracket s l, MemberEffect Exception (Exception s e) l) => EffectException s e l Source #
Instances
| (EffectBracket s l, MemberEffect (* -> * -> * -> *) Exception (Exception s e) l) => EffectException s e l Source # | |
An effect that describes the possibility of failure.
runException :: (EffectBracket s l, Show e) => Effect (Exception s e :+ l) a -> Effect l (Either e a) Source #
Completely handles an exception effect.
raise :: EffectException s e l => e -> Effect l a Source #
Raises an exception.
except :: EffectException s e l => Effect l a -> (e -> Effect l a) -> Effect l a Source #
Handles an exception. Intended to be used in infix form.
myComputation `except` \ex -> doSomethingWith ex