Rebase.Foreign.C.Error · rebase-1.21.2

On GHC, the runtime will ensure that any Haskell thread will only see "its own" errno, by saving and restoring the value when Haskell threads are scheduled across OS threads.

valueisValidErrno :: Errno -> Bool

#

Yield True if the given Errno value is valid on the system. This implies that the Eq instance of Errno is also system dependent as it is only defined for valid values of Errno.

valueresetErrno :: IO ()

#

Reset the current thread's errno value to eOK.

valuethrowErrno

:: String
textual description of the error location
-> IO a

#

Throw an IOError corresponding to the current value of getErrno.

valuethrowErrnoIf

:: (a -> Bool)
predicate to apply to the result value of the IO operation
-> String
textual description of the location
-> IO a
the IO operation to be executed
-> IO a

#

Throw an IOError corresponding to the current value of getErrno if the result value of the IO action meets the given predicate.

valuethrowErrnoIfMinus1 :: (Eq a, Num a) => String -> IO a -> IO a

#

Throw an IOError corresponding to the current value of getErrno if the IO action returns a result of -1.

valuethrowErrnoIfMinus1Retry :: (Eq a, Num a) => String -> IO a -> IO a

#

Throw an IOError corresponding to the current value of getErrno if the IO action returns a result of -1, but retries in case of an interrupted operation.

valuethrowErrnoIfMinus1RetryMayBlock

:: (Eq a, Num a)
=> String
-> IO a
-> IO b
-> IO a

#

as throwErrnoIfMinus1Retry, but checks for operations that would block.

valuethrowErrnoIfMinus1RetryMayBlock_

:: (Eq a, Num a)
=> String
-> IO a
-> IO b
-> IO ()

#

as throwErrnoIfMinus1RetryMayBlock, but discards the result.

valuethrowErrnoIfMinus1Retry_ :: (Eq a, Num a) => String -> IO a -> IO ()

#

as throwErrnoIfMinus1, but discards the result.

valuethrowErrnoIfMinus1_ :: (Eq a, Num a) => String -> IO a -> IO ()

#

as throwErrnoIfMinus1, but discards the result.

valuethrowErrnoIfNull :: String -> IO (Ptr a) -> IO (Ptr a)

#

Throw an IOError corresponding to the current value of getErrno if the IO action returns nullPtr.

valuethrowErrnoIfNullRetry :: String -> IO (Ptr a) -> IO (Ptr a)

#

Throw an IOError corresponding to the current value of getErrno if the IO action returns nullPtr, but retry in case of an interrupted operation.

valuethrowErrnoIfNullRetryMayBlock :: String -> IO (Ptr a) -> IO b -> IO (Ptr a)

#

as throwErrnoIfNullRetry, but checks for operations that would block.

valuethrowErrnoIfRetry :: (a -> Bool) -> String -> IO a -> IO a

#

as throwErrnoIf, but retry the IO action when it yields the error code eINTR - this amounts to the standard retry loop for interrupted POSIX system calls.

valuethrowErrnoIfRetryMayBlock

:: (a -> Bool)
predicate to apply to the result value of the IO operation
-> String
textual description of the location
-> IO a
the IO operation to be executed
-> IO b
action to execute before retrying if an immediate retry would block
-> IO a

#

as throwErrnoIfRetry, but additionally if the operation yields the error code eAGAIN or eWOULDBLOCK, an alternative action is executed before retrying.