package unix-errno
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=8d9aad1f050a4df7e3b8e3f68dd28a411b443812b272585f7a23cef7a8448f87
sha512=16703e08e8be7e62eb897cbdb62e35c8df0397371dfba12ab87cf211a2925ecdb36f81bb43de77956b09d845cfd00c37043161472ed6a36f1eb77b21259d2083
doc/unix-errno.unix/Errno_unix/index.html
Module Errno_unix
Source
host
is the bidirectional error number map for the host upon which this code is executing.
to_unix ?host errno
is the Unix.error
corresponding to errno
if one exists. If host
is not supplied, host
will be used.
of_unix ?host error
is the list of symbolic error numbers corresponding to the Unix.error
, error
. If host
is not supplied, host
will be used.
get_errno ()
returns the current value of the C errno
thread-local variable.
reset_errno ()
sets the current value of the C errno
thread-local variable to 0.
raise_errno ?call ?label errno
raises Errno.Error
after converting errno
to the appropriate variants via host
. call
and label
default to the empty string.
raise_on_errno ?call ?label fn
raises Errno.Error
using the code in the C errno
variable if fn
returns None
. call
and label
default to the empty string.
to_errno_exn exn
converts exn
into an Errno.Error
if it is a Unix.Unix_error
and otherwise does not modify it.
with_errno_exn fn
raises Errno.Error
instead of Unix.Unix_error
if fn
raises the latter.
to_unix_exn exn
converts exn
into a Unix.Unix_error
if it is an Errno.Error
and an errno code exists on the present host. Otherwise, to_unix_exn
does not modify exn
.
with_unix_exn fn
raises Unix.Unix_error
instead of Errno.Error
if fn
raises the latter and an errno code exists on the present host.