Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Moduleunix-bytestring-0.4.0.4Haskell2010

Foreign.C.Error.Safe

Provides a variant of the Foreign.C.Error API which returns errors explicitly, instead of throwing exceptions.

Since: 0.3.5

Contents

Primitive handlers
Derived handlers
With predicate (-1 ==)
With predicate (nullPtr ==)

Synopsis

value eitherErrnoIf
value eitherErrnoIfRetry
value eitherErrnoIfRetryMayBlock
value eitherErrnoIfMinus1
value eitherErrnoIfMinus1Retry
value eitherErrnoIfMinus1RetryMayBlock
value eitherErrnoIfNull
value eitherErrnoIfNullRetry
value eitherErrnoIfNullRetryMayBlock

Packageunix-bytestring-0.4.0.4
Exports9
LanguageHaskell2010
LicenceBSD-3-Clause
SourceSafe.hs

Primitive handlers

valueeitherErrnoIf

:: (a -> Bool)
Predicate to apply to the result value of the IO operation.
-> IO a
The IO operation to be executed.
-> IO (Either Errno a)

A variant of throwErrnoIf which returns Either instead of throwing an errno error.

valueeitherErrnoIfRetry

:: (a -> Bool)
Predicate to apply to the result value of the IO operation.
-> IO a
The IO operation to be executed.
-> IO (Either Errno a)

A variant of throwErrnoIfRetry which returns Either instead of throwing an errno error.

valueeitherErrnoIfRetryMayBlock

:: (a -> Bool)
Predicate to apply to the result value of the IO operation.
-> IO a
The IO operation to be executed.
-> IO b
Action to execute before retrying if an immediate retry would block.
-> IO (Either Errno a)

A variant of throwErrnoIfRetryMayBlock which returns Either instead of throwing an errno error.

Derived handlers

With predicate `(-1 ==)`

valueeitherErrnoIfMinus1 :: (Eq a, Num a) => IO a -> IO (Either Errno a)

valueeitherErrnoIfMinus1Retry :: (Eq a, Num a) => IO a -> IO (Either Errno a)

valueeitherErrnoIfMinus1RetryMayBlock

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

With predicate `(nullPtr ==)`

valueeitherErrnoIfNull :: IO (Ptr a) -> IO (Either Errno (Ptr a))

valueeitherErrnoIfNullRetry :: IO (Ptr a) -> IO (Either Errno (Ptr a))

valueeitherErrnoIfNullRetryMayBlock

:: IO (Ptr a)
-> IO b
-> IO (Either Errno (Ptr a))