Safe Haskell	None
Language	Haskell2010

Control.Effect.Type.ErrorIO

Synopsis

data ErrorIO (m :: * -> *) a where
- ThrowIO :: Exception e => e -> ErrorIO m a
- CatchIO :: Exception e => m a -> (e -> m a) -> ErrorIO m a

Documentation

data ErrorIO (m :: * -> *) a where Source #

An effect for throwing and catching IO-based exceptions.

Constructors

ThrowIO :: Exception e => e -> ErrorIO m a
CatchIO :: Exception e => m a -> (e -> m a) -> ErrorIO m a

Instances details

(MonadThrow m, Eff (Optional ((->) SomeException :: Type -> Type)) m) => Handler ErrorIOFinalH ErrorIO m Source #
Instance details Defined in Control.Effect.Internal.ErrorIO Methods effHandler :: EffHandler ErrorIO m Source #