Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class MemberEffect Exception (Exception e) l => EffectException e l
- data Exception e a
- runException :: (EffectBracket s l, Show e) => Effect (Exception e :+ l) a -> Effect l (Either e a)
- raise :: EffectException e l => e -> Effect l a
- except :: EffectException e l => Effect l a -> (e -> Effect l a) -> Effect l a
Documentation
class MemberEffect Exception (Exception e) l => EffectException e l Source
MemberEffect (* -> * -> *) Exception (Exception e) l => EffectException e l |
An effect that describes the possibility of failure.
runException :: (EffectBracket s l, Show e) => Effect (Exception e :+ l) a -> Effect l (Either e a) Source
Completely handles an exception effect.
raise :: EffectException e l => e -> Effect l a Source
Raises an exception.