Agda-2.5.3: A dependently typed functional programming language and proof assistant
Agda.Utils.IO
Description
Auxiliary functions for the IO monad.
Synopsis
class CatchIO m where Source #
Catch IOExceptions.
IOException
Minimal complete definition
catchIO
Methods
catchIO :: m a -> (IOException -> m a) -> m a Source #
Instances
Alias of catch for the IO monad.
catch
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 #