Agda.Utils.IO

Auxiliary functions for the IO monad.

Documentation

class CatchIO m where

Catch IOExceptions.

Methods

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

Instances

CatchIO IO

Alias of catch for the IO monad.

Defined in Agda.Utils.IO

Methods

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

CatchIO m => CatchIO (StateT s m)

Upon exception, the state is reset.

Defined in Agda.Utils.IO

Methods

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

CatchIO m => CatchIO (WriterT w m)

Upon exception, the written output is lost.

Defined in Agda.Utils.IO

Methods

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

showIOException :: Exception e => e -> String

Print an IOException without the call stack.