Control.Effect.Type.Catch

Documentation

data Catch e m a where

An effect for catching exceptions of type e.

Constructors

Catch :: m a -> (e -> m a) -> Catch e m a

type Error e = Bundle '[Throw e, Catch e]

A pseudo-effect for connected Throw e and Catch e effects.

Error e should only ever be used inside of Eff and Effs constraints. It is not a real effect! See Bundle.