IOErr

:= [
    AddrInUse,
    AddrNotAvailable,
    AlreadyExists,
    BrokenPipe,
    ConnectionRefused,
    ConnectionReset,
    Interrupted,
    IsADirectory,
    NotFound,
    NotADirectory,
    Other(Str),
    OutOfMemory,
    PermissionDenied,
    TimedOut,
    Unsupported,
]

Represents an I/O error that can occur during platform operations.

NotFound - An entity was not found, often a file.

PermissionDenied - The operation lacked the necessary privileges to complete.

BrokenPipe - The operation failed because a pipe was closed.

AlreadyExists - An entity already exists, often a file.

AddrInUse - A socket address could not be bound because it is already in use.

AddrNotAvailable - The requested socket address does not exist or is not local.

ConnectionRefused - The remote host refused the connection.

ConnectionReset - The remote host reset the connection.

Interrupted - This operation was interrupted. Interrupted operations can typically be retried.

IsADirectory - A filesystem operation expected a non-directory path.

NotADirectory - A filesystem operation expected a directory path.

Unsupported - This operation is unsupported on this platform. This means that the operation can never succeed.

OutOfMemory - An operation could not be completed, because it failed to allocate enough memory.

TimedOut - The operation did not complete within its timeout.

Other - A custom error that does not fall under any other I/O error kind.

is_eq : _

to_str : IOErr -> Str