To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
- Error report
- Access to the process environment
- Process handling
- Basic file input/output
- Interfacing with the standard input/output library
- Seeking and truncating
- File status
- File operations on large files
- Mapping files into memory
- Operations on file names
- File permissions and ownership
- Operations on file descriptors
- Directories
- Pipes and redirections
- High-level process and redirection management
- Symbolic links
- Polling
- Locking
- Signals
- Time functions
- User id, group id
- Internet addresses
- Sockets
- Socket options
- High-level network connection functions
- Host and protocol databases
- Terminal interface
-
bigarray
-
dynlink
-
ocamlbytecomp
-
ocamlcommon
-
ocamlmiddleend
-
ocamloptcomp
-
odoc_info
-
stdlib
-
str
-
unix
Library
Module
Module type
Parameter
Class
Class type
Interface to the Unix system.
To use the labeled version of this module, add module Unix = UnixLabels in your implementation.
Note: all the functions of this module (except error_message and handle_unix_error) are liable to raise the Unix_error exception whenever the underlying system call signals an error.
Error report
type error = 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
*)