Agda-2.5.4: A dependently typed functional programming language and proof assistant

Safe HaskellSafe
LanguageHaskell2010

Agda.Utils.IO

Description

Auxiliary functions for the IO monad.

Synopsis

Documentation

class CatchIO m where #

Catch IOExceptions.

Minimal complete definition

catchIO

Methods

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

Instances
CatchIO IO #

Alias of catch for the IO monad.

Instance details

Defined in Agda.Utils.IO

Methods

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

CatchIO m => CatchIO (WriterT w m) #

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 #