in-other-words-0.1.0.0: A higher-order effect system where the sky's the limit

Safe HaskellNone
LanguageHaskell2010

Control.Effect.Type.ErrorIO

Synopsis

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