Unix

`sig type error = E2BIG | EACCES | EAGAIN | EBADF | EBUSY | ECHILD | EDEADLK | EDOM | EEXIST | EFAULT | EFBIG | EINTR | EINVAL | EIO | EISDIR | EMFILE | EMLINK | ENAMETOOLONG | ENFILE | ENODEV | ENOENT | ENOEXEC | ENOLCK | ENOMEM | ENOSPC | ENOSYS | ENOTDIR | ENOTEMPTY | ENOTTY | ENXIO | EPERM | EPIPE | ERANGE | EROFS | ESPIPE | ESRCH | EXDEV | EWOULDBLOCK | EINPROGRESS | EALREADY | ENOTSOCK | EDESTADDRREQ | EMSGSIZE | EPROTOTYPE | ENOPROTOOPT | EPROTONOSUPPORT | ESOCKTNOSUPPORT | EOPNOTSUPP | EPFNOSUPPORT | EAFNOSUPPORT | EADDRINUSE | EADDRNOTAVAIL | ENETDOWN | ENETUNREACH | ENETRESET | ECONNABORTED | ECONNRESET | ENOBUFS | EISCONN | ENOTCONN | ESHUTDOWN | ETOOMANYREFS | ETIMEDOUT | ECONNREFUSED | EHOSTDOWN | EHOSTUNREACH | ELOOP | EOVERFLOW | EUNKNOWNERR of int exception Unix_error of Unix.error * string * string val error_message : Unix.error -> string val handle_unix_error : ('a -> 'b) -> 'a -> 'b val environment : unit -> string array val getenv : string -> string val putenv : string -> string -> unit type process_status = WEXITED of int | WSIGNALED of int | WSTOPPED of int type wait_flag = WNOHANG | WUNTRACED val execv : string -> string array -> 'a val execve : string -> string array -> string array -> 'a val execvp : string -> string array -> 'a val execvpe : string -> string array -> string array -> 'a val fork : unit -> int val wait : unit -> int * Unix.process_status val waitpid : Unix.wait_flag list -> int -> int * Unix.process_status val system : string -> Unix.process_status val getpid : unit -> int val getppid : unit -> int val nice : int -> int type file_descr val stdin : Unix.file_descr val stdout : Unix.file_descr val stderr : Unix.file_descr type open_flag = O_RDONLY | O_WRONLY | O_RDWR | O_NONBLOCK | O_APPEND | O_CREAT | O_TRUNC | O_EXCL | O_NOCTTY | O_DSYNC | O_SYNC | O_RSYNC | O_SHARE_DELETE | O_CLOEXEC type file_perm = int val openfile : string -> Unix.open_flag list -> Unix.file_perm -> Unix.file_descr val close : Unix.file_descr -> unit val read : Unix.file_descr -> bytes -> int -> int -> int val write : Unix.file_descr -> bytes -> int -> int -> int val single_write : Unix.file_descr -> bytes -> int -> int -> int val write_substring : Unix.file_descr -> string -> int -> int -> int val single_write_substring : Unix.file_descr -> string -> int -> int -> int val in_channel_of_descr : Unix.file_descr -> Pervasives.in_channel val out_channel_of_descr : Unix.file_descr -> Pervasives.out_channel val descr_of_in_channel : Pervasives.in_channel -> Unix.file_descr val descr_of_out_channel : Pervasives.out_channel -> Unix.file_descr type seek_command = SEEK_SET | SEEK_CUR | SEEK_END val lseek : Unix.file_descr -> int -> Unix.seek_command -> int val truncate : string -> int -> unit val ftruncate : Unix.file_descr -> int -> unit type file_kind = S_REG | S_DIR | S_CHR | S_BLK | S_LNK | S_FIFO | S_SOCK type stats = { st_dev : int; st_ino : int; st_kind : Unix.file_kind; st_perm : Unix.file_perm; st_nlink : int; st_uid : int; st_gid : int; st_rdev : int; st_size : int; st_atime : float; st_mtime : float; st_ctime : float; } val stat : string -> Unix.stats val lstat : string -> Unix.stats val fstat : Unix.file_descr -> Unix.stats val isatty : Unix.file_descr -> bool module LargeFile : sig val lseek : Unix.file_descr -> int64 -> Unix.seek_command -> int64 val truncate : string -> int64 -> unit val ftruncate : Unix.file_descr -> int64 -> unit type stats = { st_dev : int; st_ino : int; st_kind : Unix.file_kind; st_perm : Unix.file_perm; st_nlink : int; st_uid : int; st_gid : int; st_rdev : int; st_size : int64; st_atime : float; st_mtime : float; st_ctime : float; } val stat : string -> Unix.LargeFile.stats val lstat : string -> Unix.LargeFile.stats val fstat : Unix.file_descr -> Unix.LargeFile.stats end val unlink : string -> unit val rename : string -> string -> unit val link : string -> string -> unit type access_permission = R_OK | W_OK | X_OK | F_OK val chmod : string -> Unix.file_perm -> unit val fchmod : Unix.file_descr -> Unix.file_perm -> unit val chown : string -> int -> int -> unit val fchown : Unix.file_descr -> int -> int -> unit val umask : int -> int val access : string -> Unix.access_permission list -> unit val dup : Unix.file_descr -> Unix.file_descr val dup2 : Unix.file_descr -> Unix.file_descr -> unit val set_nonblock : Unix.file_descr -> unit val clear_nonblock : Unix.file_descr -> unit val set_close_on_exec : Unix.file_descr -> unit val clear_close_on_exec : Unix.file_descr -> unit val mkdir : string -> Unix.file_perm -> unit val rmdir : string -> unit val chdir : string -> unit val getcwd : unit -> string val chroot : string -> unit type dir_handle val opendir : string -> Unix.dir_handle val readdir : Unix.dir_handle -> string val rewinddir : Unix.dir_handle -> unit val closedir : Unix.dir_handle -> unit val pipe : unit -> Unix.file_descr * Unix.file_descr val mkfifo : string -> Unix.file_perm -> unit val create_process : string -> string array -> Unix.file_descr -> Unix.file_descr -> Unix.file_descr -> int val create_process_env : string -> string array -> string array -> Unix.file_descr -> Unix.file_descr -> Unix.file_descr -> int val open_process_in : string -> Pervasives.in_channel val open_process_out : string -> Pervasives.out_channel val open_process : string -> Pervasives.in_channel * Pervasives.out_channel val open_process_full : string -> string array -> Pervasives.in_channel * Pervasives.out_channel * Pervasives.in_channel val close_process_in : Pervasives.in_channel -> Unix.process_status val close_process_out : Pervasives.out_channel -> Unix.process_status val close_process : Pervasives.in_channel * Pervasives.out_channel -> Unix.process_status val close_process_full : Pervasives.in_channel * Pervasives.out_channel * Pervasives.in_channel -> Unix.process_status val symlink : ?to_dir:bool -> string -> string -> unit val has_symlink : unit -> bool val readlink : string -> string val select : Unix.file_descr list -> Unix.file_descr list -> Unix.file_descr list -> float -> Unix.file_descr list * Unix.file_descr list * Unix.file_descr list type lock_command = F_ULOCK | F_LOCK | F_TLOCK | F_TEST | F_RLOCK | F_TRLOCK val lockf : Unix.file_descr -> Unix.lock_command -> int -> unit val kill : int -> int -> unit type sigprocmask_command = SIG_SETMASK | SIG_BLOCK | SIG_UNBLOCK val sigprocmask : Unix.sigprocmask_command -> int list -> int list val sigpending : unit -> int list val sigsuspend : int list -> unit val pause : unit -> unit type process_times = { tms_utime : float; tms_stime : float; tms_cutime : float; tms_cstime : float; } type tm = { tm_sec : int; tm_min : int; tm_hour : int; tm_mday : int; tm_mon : int; tm_year : int; tm_wday : int; tm_yday : int; tm_isdst : bool; } val time : unit -> float val gettimeofday : unit -> float val gmtime : float -> Unix.tm val localtime : float -> Unix.tm val mktime : Unix.tm -> float * Unix.tm val alarm : int -> int val sleep : int -> unit val sleepf : float -> unit val times : unit -> Unix.process_times val utimes : string -> float -> float -> unit type interval_timer = ITIMER_REAL | ITIMER_VIRTUAL | ITIMER_PROF type interval_timer_status = { it_interval : float; it_value : float; } val getitimer : Unix.interval_timer -> Unix.interval_timer_status val setitimer : Unix.interval_timer -> Unix.interval_timer_status -> Unix.interval_timer_status val getuid : unit -> int val geteuid : unit -> int val setuid : int -> unit val getgid : unit -> int val getegid : unit -> int val setgid : int -> unit val getgroups : unit -> int array val setgroups : int array -> unit val initgroups : string -> int -> unit type passwd_entry = { pw_name : string; pw_passwd : string; pw_uid : int; pw_gid : int; pw_gecos : string; pw_dir : string; pw_shell : string; } type group_entry = { gr_name : string; gr_passwd : string; gr_gid : int; gr_mem : string array; } val getlogin : unit -> string val getpwnam : string -> Unix.passwd_entry val getgrnam : string -> Unix.group_entry val getpwuid : int -> Unix.passwd_entry val getgrgid : int -> Unix.group_entry type inet_addr val inet_addr_of_string : string -> Unix.inet_addr val string_of_inet_addr : Unix.inet_addr -> string val inet_addr_any : Unix.inet_addr val inet_addr_loopback : Unix.inet_addr val inet6_addr_any : Unix.inet_addr val inet6_addr_loopback : Unix.inet_addr type socket_domain = PF_UNIX | PF_INET | PF_INET6 type socket_type = SOCK_STREAM | SOCK_DGRAM | SOCK_RAW | SOCK_SEQPACKET type sockaddr = ADDR_UNIX of string | ADDR_INET of Unix.inet_addr * int val socket : Unix.socket_domain -> Unix.socket_type -> int -> Unix.file_descr val domain_of_sockaddr : Unix.sockaddr -> Unix.socket_domain val socketpair : Unix.socket_domain -> Unix.socket_type -> int -> Unix.file_descr * Unix.file_descr val accept : Unix.file_descr -> Unix.file_descr * Unix.sockaddr val bind : Unix.file_descr -> Unix.sockaddr -> unit val connect : Unix.file_descr -> Unix.sockaddr -> unit val listen : Unix.file_descr -> int -> unit type shutdown_command = SHUTDOWN_RECEIVE | SHUTDOWN_SEND | SHUTDOWN_ALL val shutdown : Unix.file_descr -> Unix.shutdown_command -> unit val getsockname : Unix.file_descr -> Unix.sockaddr val getpeername : Unix.file_descr -> Unix.sockaddr type msg_flag = MSG_OOB | MSG_DONTROUTE | MSG_PEEK val recv : Unix.file_descr -> bytes -> int -> int -> Unix.msg_flag list -> int val recvfrom : Unix.file_descr -> bytes -> int -> int -> Unix.msg_flag list -> int * Unix.sockaddr val send : Unix.file_descr -> bytes -> int -> int -> Unix.msg_flag list -> int val send_substring : Unix.file_descr -> string -> int -> int -> Unix.msg_flag list -> int val sendto : Unix.file_descr -> bytes -> int -> int -> Unix.msg_flag list -> Unix.sockaddr -> int val sendto_substring : Unix.file_descr -> string -> int -> int -> Unix.msg_flag list -> Unix.sockaddr -> int type socket_bool_option = SO_DEBUG | SO_BROADCAST | SO_REUSEADDR | SO_KEEPALIVE | SO_DONTROUTE | SO_OOBINLINE | SO_ACCEPTCONN | TCP_NODELAY | IPV6_ONLY type socket_int_option = SO_SNDBUF | SO_RCVBUF | SO_ERROR | SO_TYPE | SO_RCVLOWAT | SO_SNDLOWAT type socket_optint_option = SO_LINGER type socket_float_option = SO_RCVTIMEO | SO_SNDTIMEO val getsockopt : Unix.file_descr -> Unix.socket_bool_option -> bool val setsockopt : Unix.file_descr -> Unix.socket_bool_option -> bool -> unit val getsockopt_int : Unix.file_descr -> Unix.socket_int_option -> int val setsockopt_int : Unix.file_descr -> Unix.socket_int_option -> int -> unit val getsockopt_optint : Unix.file_descr -> Unix.socket_optint_option -> int option val setsockopt_optint : Unix.file_descr -> Unix.socket_optint_option -> int option -> unit val getsockopt_float : Unix.file_descr -> Unix.socket_float_option -> float val setsockopt_float : Unix.file_descr -> Unix.socket_float_option -> float -> unit val getsockopt_error : Unix.file_descr -> Unix.error option val open_connection : Unix.sockaddr -> Pervasives.in_channel * Pervasives.out_channel val shutdown_connection : Pervasives.in_channel -> unit val establish_server : (Pervasives.in_channel -> Pervasives.out_channel -> unit) -> Unix.sockaddr -> unit type host_entry = { h_name : string; h_aliases : string array; h_addrtype : Unix.socket_domain; h_addr_list : Unix.inet_addr array; } type protocol_entry = { p_name : string; p_aliases : string array; p_proto : int; } type service_entry = { s_name : string; s_aliases : string array; s_port : int; s_proto : string; } val gethostname : unit -> string val gethostbyname : string -> Unix.host_entry val gethostbyaddr : Unix.inet_addr -> Unix.host_entry val getprotobyname : string -> Unix.protocol_entry val getprotobynumber : int -> Unix.protocol_entry val getservbyname : string -> string -> Unix.service_entry val getservbyport : int -> string -> Unix.service_entry type addr_info = { ai_family : Unix.socket_domain; ai_socktype : Unix.socket_type; ai_protocol : int; ai_addr : Unix.sockaddr; ai_canonname : string; } type getaddrinfo_option = AI_FAMILY of Unix.socket_domain | AI_SOCKTYPE of Unix.socket_type | AI_PROTOCOL of int | AI_NUMERICHOST | AI_CANONNAME | AI_PASSIVE val getaddrinfo : string -> string -> Unix.getaddrinfo_option list -> Unix.addr_info list type name_info = { ni_hostname : string; ni_service : string; } type getnameinfo_option = NI_NOFQDN | NI_NUMERICHOST | NI_NAMEREQD | NI_NUMERICSERV | NI_DGRAM val getnameinfo : Unix.sockaddr -> Unix.getnameinfo_option list -> Unix.name_info type terminal_io = { mutable c_ignbrk : bool; mutable c_brkint : bool; mutable c_ignpar : bool; mutable c_parmrk : bool; mutable c_inpck : bool; mutable c_istrip : bool; mutable c_inlcr : bool; mutable c_igncr : bool; mutable c_icrnl : bool; mutable c_ixon : bool; mutable c_ixoff : bool; mutable c_opost : bool; mutable c_obaud : int; mutable c_ibaud : int; mutable c_csize : int; mutable c_cstopb : int; mutable c_cread : bool; mutable c_parenb : bool; mutable c_parodd : bool; mutable c_hupcl : bool; mutable c_clocal : bool; mutable c_isig : bool; mutable c_icanon : bool; mutable c_noflsh : bool; mutable c_echo : bool; mutable c_echoe : bool; mutable c_echok : bool; mutable c_echonl : bool; mutable c_vintr : char; mutable c_vquit : char; mutable c_verase : char; mutable c_vkill : char; mutable c_veof : char; mutable c_veol : char; mutable c_vmin : int; mutable c_vtime : int; mutable c_vstart : char; mutable c_vstop : char; } val tcgetattr : Unix.file_descr -> Unix.terminal_io type setattr_when = TCSANOW | TCSADRAIN | TCSAFLUSH val tcsetattr : Unix.file_descr -> Unix.setattr_when -> Unix.terminal_io -> unit val tcsendbreak : Unix.file_descr -> int -> unit val tcdrain : Unix.file_descr -> unit type flush_queue = TCIFLUSH | TCOFLUSH | TCIOFLUSH val tcflush : Unix.file_descr -> Unix.flush_queue -> unit type flow_action = TCOOFF | TCOON | TCIOFF | TCION val tcflow : Unix.file_descr -> Unix.flow_action -> unit val setsid : unit -> int end`