Agda-2.6.3.20230930: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
LanguageHaskell2010

Agda.Utils.IO

Description

Auxiliary functions for the IO monad.

Synopsis

Documentation

class CatchIO m where Source #

Catch IOExceptions.

Methods

catchIO :: m a -> (IOException -> m a) -> m a Source #

Instances

Instances details
CatchIO IO Source #

Alias of catch for the IO monad.

Instance details

Defined in Agda.Utils.IO

Methods

catchIO :: IO a -> (IOException -> IO a) -> IO a Source #

CatchIO m => CatchIO (StateT s m) Source #

Upon exception, the state is reset.

Instance details

Defined in Agda.Utils.IO

Methods

catchIO :: StateT s m a -> (IOException -> StateT s m a) -> StateT s m a Source #

CatchIO m => CatchIO (WriterT w m) Source #

Upon exception, the written output is lost.

Instance details

Defined in Agda.Utils.IO

Methods

catchIO :: WriterT w m a -> (IOException -> WriterT w m a) -> WriterT w m a Source #