- 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
-
raw_spacetime_lib
-
-
stdlib
-
str
-
threads
-
unix
Library
Module
Module type
Parameter
Class
Class type
Interface to the Unix system. To use as replacement to default Unix
module, add module Unix = UnixLabels
in your implementation.
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