Io module

Io_Error

enumSource

Why a blocking call returned early or failed. platform_code() gives the system's own error number for the last failure of the running fiber, which is how OTHER stays useful.

Members

NONE
CANCELED
cancel was called for this fiber, now or earlier.
CLOSED
The channel was closed (and, for a receive, is empty), or the handle was closed while the fiber waited on it.
TIMED_OUT
The with_deadline limit passed.
END_OF_FILE
read_full hit the end of the stream before it had everything.
CONNECTION_RESET
CONNECTION_REFUSED
CONNECTION_ABORTED
BROKEN_PIPE
NOT_CONNECTED
ADDRESS_IN_USE
ADDRESS_UNAVAILABLE
NETWORK_UNREACHABLE
HOST_UNREACHABLE
NOT_FOUND
ALREADY_EXISTS
PERMISSION_DENIED
INVALID
NO_SPACE
TOO_MANY_OPEN_FILES
IS_A_DIRECTORY
UNSUPPORTED
This system has no implementation yet (IO on Windows), or the operation does not apply.
RESOLVE_FAILED
The name could not be resolved.
OTHER
Anything else; see platform_code().

See also