| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Util.IOx
- 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
- alreadyExistsErrorType :: IOErrorType
- illegalOperationErrorType :: IOErrorType
- userErrorType :: IOErrorType
Documentation
maybeErrorX :: IOErrorType -> String -> Maybe a -> IOx a Source #
killThreadX :: ThreadId -> IOx () Source #
atomicallyX :: STM a -> IOx a Source #
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.