package unix-errno

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.