Control.Eff.Exception

Exception-producing and exception-handling effects

Documentation

newtype Exc e v

These are exceptions of the type e. This is akin to the error monad.

Constructors

Exc e

Instances

Typeable2 Exc

Functor (Exc e)

throwExc :: (Typeable e, Member (Exc e) r) => e -> Eff r a

Throw an exception in an effectful computation.

runExc :: Typeable e => Eff (Exc e :> r) a -> Eff r (Either e a)

Run a computation that might produce an exception.

catchExc :: (Typeable e, Member (Exc e) r) => Eff r a -> (e -> Eff r a) -> Eff r a

Run a computation that might produce exceptions, and give it a way to deal with the exceptions that come up.