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

Safe Haskell | Safe
Language | Haskell2010

Agda.Utils.IO

Description

Auxiliary functions for the IO monad.

Synopsis

- class CatchIO m where
  - catchIO :: m a -> (IOException -> m a) -> m a

# Documentation

class CatchIO m where Source #

Catch `IOException`s.

Methods

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

Instances

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 (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 #