Safe Haskell	Safe-Inferred
Language	Haskell2010

Polysemy.Conc.Effect.Critical

Description

Synopsis

data Critical :: Effect where
- Catch :: Exception e => m a -> Critical m (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

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.

Constructors

Catch all exceptions of type e in this computation.

Instances details

type DefiningModule Critical Source #
Instance details Defined in Polysemy.Conc.Effect.Critical type DefiningModule Critical = "Polysemy.Conc.Effect.Critical"

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.

Convenience overload for SomeException.

Convenience overload for SomeException.