Agda.Utils.IO
Description
Auxiliary functions for the IO monad.
class CatchIO m where Source #
Catch IOExceptions.
IOException
Methods
catchIO :: m a -> (IOException -> m a) -> m a Source #
Alias of catch for the IO monad.
catch
Defined in Agda.Utils.IO
catchIO :: IO a -> (IOException -> IO a) -> IO a Source #
Upon exception, the written output is lost.
catchIO :: WriterT w m a -> (IOException -> WriterT w m a) -> WriterT w m a Source #