Util.IOx

Documentation

type RawIO = IO

type IOx = EitherT IOError RawIO

errorX :: IOErrorType -> String -> IOx a

maybeErrorX :: IOErrorType -> String -> Maybe a -> IOx a

catchX :: IOx a -> (IOError -> IOx a) -> IOx a

toIOx :: RawIO a -> IOx a

fromIOx :: IOx a -> RawIO a

liftIOx :: MonadIO m => IO a -> m a

forkIOx :: IOx () -> IOx ThreadId

killThreadX :: ThreadId -> IOx ()

atomicallyX :: STM a -> IOx a

logX :: String -> IOError -> IOx ()

doesNotExistErrorType :: IOErrorType

I/O error where the operation failed because one of its arguments does not exist.

alreadyExistsErrorType :: IOErrorType

I/O error where the operation failed because one of its arguments already exists.

illegalOperationErrorType :: IOErrorType

I/O error where the operation is not possible.

userErrorType :: IOErrorType

I/O error that is programmer-defined.