Module `Core__Core_unix.Error`

type t = Unix.error = | E2BIG Argument list too long | EACCES Permission denied | EAGAIN Resource temporarily unavailable; try again | EBADF Bad file descriptor | EBUSY Resource unavailable | ECHILD No child process | EDEADLK Resource deadlock would occur | EDOM Domain error for math functions, etc. | EEXIST File exists | EFAULT Bad address | EFBIG File too large | EINTR Function interrupted by signal | EINVAL Invalid argument | EIO Hardware I/O error | EISDIR Is a directory | EMFILE Too many open files by the process | EMLINK Too many links | ENAMETOOLONG Filename too long | ENFILE Too many open files in the system | ENODEV No such device | ENOENT No such file or directory | ENOEXEC Not an executable file | ENOLCK No locks available | ENOMEM Not enough memory | ENOSPC No space left on device | ENOSYS Function not supported | ENOTDIR Not a directory | ENOTEMPTY Directory not empty | ENOTTY Inappropriate I/O control operation | ENXIO No such device or address | EPERM Operation not permitted | EPIPE Broken pipe | ERANGE Result too large | EROFS Read-only file system | ESPIPE Invalid seek e.g. on a pipe | ESRCH No such process | EXDEV Invalid link | EWOULDBLOCK Operation would block | EINPROGRESS Operation now in progress | EALREADY Operation already in progress | ENOTSOCK Socket operation on non-socket | EDESTADDRREQ Destination address required | EMSGSIZE Message too long | EPROTOTYPE Protocol wrong type for socket | ENOPROTOOPT Protocol not available | EPROTONOSUPPORT Protocol not supported | ESOCKTNOSUPPORT Socket type not supported | EOPNOTSUPP Operation not supported on socket | EPFNOSUPPORT Protocol family not supported | EAFNOSUPPORT Address family not supported by protocol family | EADDRINUSE Address already in use | EADDRNOTAVAIL Can't assign requested address | ENETDOWN Network is down | ENETUNREACH Network is unreachable | ENETRESET Network dropped connection on reset | ECONNABORTED Software caused connection abort | ECONNRESET Connection reset by peer | ENOBUFS No buffer space available | EISCONN Socket is already connected | ENOTCONN Socket is not connected | ESHUTDOWN Can't send after socket shutdown | ETOOMANYREFS Too many references: can't splice | ETIMEDOUT Connection timed out | ECONNREFUSED Connection refused | EHOSTDOWN Host is down | EHOSTUNREACH No route to host | ELOOP Too many levels of symbolic links | EOVERFLOW File size or position not representable | EUNKNOWNERR of int Unknown error: The type of error codes. Errors defined in the POSIX standard and additional errors, mostly BSD. All other errors are mapped to EUNKNOWNERR.

val compare : t -> t -> int

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

type t

val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t

val of_system_int : errno:int -> t
val message : t -> string: Return a string describing the given error code.

`\|` `E2BIG`	Argument list too long
`\|` `EACCES`	Permission denied
`\|` `EAGAIN`	Resource temporarily unavailable; try again
`\|` `EBADF`	Bad file descriptor
`\|` `EBUSY`	Resource unavailable
`\|` `ECHILD`	No child process
`\|` `EDEADLK`	Resource deadlock would occur
`\|` `EDOM`	Domain error for math functions, etc.
`\|` `EEXIST`	File exists
`\|` `EFAULT`	Bad address
`\|` `EFBIG`	File too large
`\|` `EINTR`	Function interrupted by signal
`\|` `EINVAL`	Invalid argument
`\|` `EIO`	Hardware I/O error
`\|` `EISDIR`	Is a directory
`\|` `EMFILE`	Too many open files by the process
`\|` `EMLINK`	Too many links
`\|` `ENAMETOOLONG`	Filename too long
`\|` `ENFILE`	Too many open files in the system
`\|` `ENODEV`	No such device
`\|` `ENOENT`	No such file or directory
`\|` `ENOEXEC`	Not an executable file
`\|` `ENOLCK`	No locks available
`\|` `ENOMEM`	Not enough memory
`\|` `ENOSPC`	No space left on device
`\|` `ENOSYS`	Function not supported
`\|` `ENOTDIR`	Not a directory
`\|` `ENOTEMPTY`	Directory not empty
`\|` `ENOTTY`	Inappropriate I/O control operation
`\|` `ENXIO`	No such device or address
`\|` `EPERM`	Operation not permitted
`\|` `EPIPE`	Broken pipe
`\|` `ERANGE`	Result too large
`\|` `EROFS`	Read-only file system
`\|` `ESPIPE`	Invalid seek e.g. on a pipe
`\|` `ESRCH`	No such process
`\|` `EXDEV`	Invalid link
`\|` `EWOULDBLOCK`	Operation would block
`\|` `EINPROGRESS`	Operation now in progress
`\|` `EALREADY`	Operation already in progress
`\|` `ENOTSOCK`	Socket operation on non-socket
`\|` `EDESTADDRREQ`	Destination address required
`\|` `EMSGSIZE`	Message too long
`\|` `EPROTOTYPE`	Protocol wrong type for socket
`\|` `ENOPROTOOPT`	Protocol not available
`\|` `EPROTONOSUPPORT`	Protocol not supported
`\|` `ESOCKTNOSUPPORT`	Socket type not supported
`\|` `EOPNOTSUPP`	Operation not supported on socket
`\|` `EPFNOSUPPORT`	Protocol family not supported
`\|` `EAFNOSUPPORT`	Address family not supported by protocol family
`\|` `EADDRINUSE`	Address already in use
`\|` `EADDRNOTAVAIL`	Can't assign requested address
`\|` `ENETDOWN`	Network is down
`\|` `ENETUNREACH`	Network is unreachable
`\|` `ENETRESET`	Network dropped connection on reset
`\|` `ECONNABORTED`	Software caused connection abort
`\|` `ECONNRESET`	Connection reset by peer
`\|` `ENOBUFS`	No buffer space available
`\|` `EISCONN`	Socket is already connected
`\|` `ENOTCONN`	Socket is not connected
`\|` `ESHUTDOWN`	Can't send after socket shutdown
`\|` `ETOOMANYREFS`	Too many references: can't splice
`\|` `ETIMEDOUT`	Connection timed out
`\|` `ECONNREFUSED`	Connection refused
`\|` `EHOSTDOWN`	Host is down
`\|` `EHOSTUNREACH`	No route to host
`\|` `ELOOP`	Too many levels of symbolic links
`\|` `EOVERFLOW`	File size or position not representable
`\|` `EUNKNOWNERR of int`	Unknown error