Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- data Critical :: Effect where
- catch :: forall r e a. (Member Critical r, Exception e) => Sem r a -> Sem r (Either e a)
- catchAs :: forall e a r. Exception e => Member Critical r => a -> Sem r a -> Sem r a
- run :: Member Critical r => Sem r a -> Sem r (Either SomeException a)
- runAs :: Member Critical r => a -> Sem r a -> Sem r a
Documentation
data Critical :: Effect where Source #
An effect that catches exceptions.
Provides the exact functionality of fromExceptionSem
, but pushes the dependency on Final IO
to the
interpreter, and makes it optional.
catch :: forall r e a. (Member Critical r, Exception e) => Sem r a -> Sem r (Either e a) Source #
Catch all exceptions of type e
in this computation.
catchAs :: forall e a r. Exception e => Member Critical r => a -> Sem r a -> Sem r a Source #
Catch exceptions of type e
and return a fallback value.
run :: Member Critical r => Sem r a -> Sem r (Either SomeException a) Source #
Convenience overload for SomeException
.