Polysemy.Conc.Effect.Critical

Documentation

data Critical :: Effect where

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 :: Exception e => m a -> Critical m (Either e a)

Catch all exceptions of type e in this computation.

Instances

type DefiningModule Critical

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

Catch exceptions of type e and return a fallback value.

run :: Member Critical r => Sem r a -> Sem r (Either SomeException a)

Convenience overload for SomeException.

runAs :: Member Critical r => a -> Sem r a -> Sem r a

Convenience overload for SomeException.