| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Control.Effect.Exception
- 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 |
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.