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

fromIO :: IO a -> EitherT SomeException UnexceptionalIO a

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

runUnexceptionalIO :: MonadIO m => UnexceptionalIO a -> m a

Re-embed UnexceptionalIO into IO

runEitherIO :: (MonadIO m, Exception e) => EitherT e UnexceptionalIO a -> m a

Re-embed UnexceptionalIO and possible exception back into IO

Unsafe entry points

fromIO' :: Exception e => IO a -> EitherT e UnexceptionalIO 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