package unix-errno
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=2d6a9bc86731b3a7ff15c38fa3725847753e00bd091de5828868ee621c71ad65
sha512=3f820834fe4dcc246e777a3e4b9d19c85dcccf87aa77b7b9e3a59e5080f6094dc059d5d035831e82cc3efc4c20065422e3299cb44ff49674b7b0a3139fd15ba7
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.