UnexceptionalIO

When you've caught all the exceptions that can be handled safely, this is what you're left with.

runEitherIO . fromIO ≡ id

Documentation

data UnexceptionalIO a

IO without any non-error, synchronous exceptions

Instances

Monad UnexceptionalIO

Functor UnexceptionalIO

MonadFix UnexceptionalIO

Applicative UnexceptionalIO

type UIO = UnexceptionalIO

or, you may prefer a short name

fromIO :: IO a -> UnexceptionalIO (Either SomeException a)

Catch any non-error, synchronous exceptions in an IO action

runUnexceptionalIO :: UnexceptionalIO a -> IO a

Re-embed UnexceptionalIO into IO

runEitherIO :: Exception e => UnexceptionalIO (Either e a) -> IO a

Re-embed UnexceptionalIO and possible exception back into IO

Unsafe entry points

fromIO' :: Exception e => IO a -> UnexceptionalIO (Either e a)

You promise that e covers all non-error, synchronous exceptions thrown by this IO action

This function is partial if you lie

unsafeFromIO :: IO a -> UnexceptionalIO a

You promise there are no exceptions thrown by this IO action

Utilities

syncIO :: IO a -> IO (Either SomeException a)

Catch all exceptions, except for asynchronous exceptions found in base