Agda.Utils.IO

Auxiliary functions for the IO monad.

classclass CatchIO (m :: Type -> Type) where

Instances3CatchIO

CatchIO IODefined in Agda-2.7.0.1 · Agda.Utils.IO
Alias of catch for the IO monad.
CatchIO m => CatchIO (StateT s m)Defined in Agda-2.7.0.1 · Agda.Utils.IO
Upon exception, the state is reset.
CatchIO m => CatchIO (WriterT w m)Defined in Agda-2.7.0.1 · Agda.Utils.IO
Upon exception, the written output is lost.

valueshowIOException :: Exception e => e -> String

Print an IOException without the call stack.