Control.Error.UnexceptionalIO

UnexceptionalIO.hs

module Control.Error.UnexceptionalIO (
	UIO.UnexceptionalIO,
	UIO.UIO,
	fromIO,
	runUnexceptionalIO,
	runEitherIO,
	fromIO',
	UIO.unsafeFromIO,
	syncIO
) where

import Control.Monad.Trans.Either (EitherT(..), runEitherT)
import Control.Exception (SomeException, Exception)
import Control.Monad.IO.Class (MonadIO, liftIO)
import UnexceptionalIO (UnexceptionalIO)
import qualified UnexceptionalIO as UIO

fromIO :: IO a -> EitherT SomeException UnexceptionalIO a
fromIO = EitherT . UIO.fromIO

runUnexceptionalIO :: (MonadIO m) => UnexceptionalIO a -> m a
runUnexceptionalIO = liftIO . UIO.runUnexceptionalIO

runEitherIO :: (MonadIO m, Exception e) => EitherT e UnexceptionalIO a -> m a
runEitherIO = liftIO . UIO.runEitherIO . runEitherT

fromIO' :: Exception e => IO a -> EitherT e UnexceptionalIO a
fromIO' = EitherT . UIO.fromIO'

syncIO :: IO a -> EitherT SomeException IO a
syncIO = EitherT . UIO.syncIO