Safe Haskell	None
Language	Haskell2010

Agda.Utils.IO

Description

Auxiliary functions for the IO monad.

Synopsis

class CatchIO (m :: Type -> Type) where
- catchIO :: m a -> (IOException -> m a) -> m a
showIOException :: Exception e => e -> String

Documentation

class CatchIO (m :: Type -> Type) where Source #

Catch IOExceptions.

Methods

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

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 #

showIOException :: Exception e => e -> String Source #

Print an IOException without the call stack.