<html> <head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Index of module types" rel=Appendix href="index_module_types.html"> <link title="Async_print" rel="Chapter" href="Async_print.html"> <link title="Async_sys" rel="Chapter" href="Async_sys.html"> <link title="Epoll_file_descr_watcher" rel="Chapter" href="Epoll_file_descr_watcher.html"> <link title="Fd" rel="Chapter" href="Fd.html"> <link title="Fd_by_descr" rel="Chapter" href="Fd_by_descr.html"> <link title="File_descr_watcher_intf" rel="Chapter" href="File_descr_watcher_intf.html"> <link title="Import" rel="Chapter" href="Import.html"> <link title="Interruptor" rel="Chapter" href="Interruptor.html"> <link title="In_thread" rel="Chapter" href="In_thread.html"> <link title="Io_stats" rel="Chapter" href="Io_stats.html"> <link title="Process" rel="Chapter" href="Process.html"> <link title="Raw_fd" rel="Chapter" href="Raw_fd.html"> <link title="Raw_scheduler" rel="Chapter" href="Raw_scheduler.html"> <link title="Raw_signal_manager" rel="Chapter" href="Raw_signal_manager.html"> <link title="Reader" rel="Chapter" href="Reader.html"> <link title="Read_write" rel="Chapter" href="Read_write.html"> <link title="Scheduler" rel="Chapter" href="Scheduler.html"> <link title="Select_file_descr_watcher" rel="Chapter" href="Select_file_descr_watcher.html"> <link title="Shutdown" rel="Chapter" href="Shutdown.html"> <link title="Signal" rel="Chapter" href="Signal.html"> <link title="Signal_manager" rel="Chapter" href="Signal_manager.html"> <link title="Std" rel="Chapter" href="Std.html"> <link title="Syscall" rel="Chapter" href="Syscall.html"> <link title="Thread_pool" rel="Chapter" href="Thread_pool.html"> <link title="Thread_safe" rel="Chapter" href="Thread_safe.html"> <link title="Thread_safe_pipe" rel="Chapter" href="Thread_safe_pipe.html"> <link title="Unix_syscalls" rel="Chapter" href="Unix_syscalls.html"> <link title="Writer" rel="Chapter" href="Writer.html"><title>Index of types</title> </head> <body> <div class="navbar"> <a class="up" href="index.html" title="Index">Up</a> </div> <h1>Index of types</h1> <table> <tr><td align="left"><br>A</td></tr> <tr><td><a href="Read_write.html#TYPEany">any</a> [<a href="Read_write.html">Read_write</a>]</td> <td></td></tr> <tr><td align="left"><br>B</td></tr> <tr><td><a href="Writer.html#TYPEbuffer_age_limit">buffer_age_limit</a> [<a href="Writer.html">Writer</a>]</td> <td></td></tr> <tr><td align="left"><br>D</td></tr> <tr><td><a href="Unix_syscalls.html#TYPEdir_handle">dir_handle</a> [<a href="Unix_syscalls.html">Unix_syscalls</a>]</td> <td></td></tr> <tr><td align="left"><br>E</td></tr> <tr><td><a href="Process.html#TYPEenv">env</a> [<a href="Process.html">Process</a>]</td> <td><div class="info"> <code class="code">env</code> specifies how to construct the environment that the child process will start with. </div> </td></tr> <tr><td><a href="Unix_syscalls.html#TYPEerror">error</a> [<a href="Unix_syscalls.html">Unix_syscalls</a>]</td> <td></td></tr> <tr><td align="left"><br>F</td></tr> <tr><td><a href="Unix_syscalls.html#TYPEfile_perm">file_perm</a> [<a href="Unix_syscalls.html">Unix_syscalls</a>]</td> <td></td></tr> <tr><td><a href="Scheduler.html#TYPEfolder">folder</a> [<a href="Scheduler.html">Scheduler</a>]</td> <td><div class="info"> <code class="code">fold_fields ~init folder</code> folds <code class="code">folder</code> over each field in the scheduler. </div> </td></tr> <tr><td><a href="Raw_scheduler.html#TYPEfolder">folder</a> [<a href="Raw_scheduler.html">Raw_scheduler</a>]</td> <td></td></tr> <tr><td align="left"><br>H</td></tr> <tr><td><a href="Signal_manager.html#TYPEhandler">handler</a> [<a href="Signal_manager.html">Signal_manager</a>]</td> <td><div class="info"> <code class="code">install_handler t signals f</code> causes <code class="code">t</code> to manage the handling of <code class="code">signals</code>, and registers <code class="code">f</code> to run on every signal in <code class="code">signals</code> that is delivered. </div> </td></tr> <tr><td><a href="Raw_signal_manager.html#TYPEhandler">handler</a> [<a href="Raw_signal_manager.html">Raw_signal_manager</a>]</td> <td></td></tr> <tr><td align="left"><br>O</td></tr> <tr><td><a href="Unix_syscalls.html#TYPEopen_flag">open_flag</a> [<a href="Unix_syscalls.html">Unix_syscalls</a>]</td> <td></td></tr> <tr><td align="left"><br>P</td></tr> <tr><td><a href="Unix_syscalls.html#TYPEprocess_times">process_times</a> [<a href="Unix_syscalls.html">Unix_syscalls</a>]</td> <td><div class="info"> Time functions. </div> </td></tr> <tr><td align="left"><br>R</td></tr> <tr><td><a href="Reader.html#TYPEread">read</a> [<a href="Reader.html">Reader</a>]</td> <td></td></tr> <tr><td><a href="Reader.html#TYPEread_one_chunk_at_a_time_until_eof_result">read_one_chunk_at_a_time_until_eof_result</a> [<a href="Reader.html">Reader</a>]</td> <td><div class="info"> <code class="code">read_one_chunk_at_a_time_until_eof t ~handle_chunk</code> reads into <code class="code">t</code>'s internal buffer, and whenever bytes are available, applies <code class="code">handle_chunk</code> to them. </div> </td></tr> <tr><td><a href="Read_write.Export.html#TYPEread_write_">read_write_</a> [<a href="Read_write.Export.html">Read_write.Export</a>]</td> <td></td></tr> <tr><td><a href="Raw_fd.html#TYPEready_to_result">ready_to_result</a> [<a href="Raw_fd.html">Raw_fd</a>]</td> <td></td></tr> <tr><td align="left"><br>S</td></tr> <tr><td><a href="Unix_syscalls.Terminal_io.html#TYPEsetattr_when">setattr_when</a> [<a href="Unix_syscalls.Terminal_io.html">Unix_syscalls.Terminal_io</a>]</td> <td></td></tr> <tr><td align="left"><br>T</td></tr> <tr><td><a href="Unix_syscalls.Group.html#TYPEt">t</a> [<a href="Unix_syscalls.Group.html">Unix_syscalls.Group</a>]</td> <td></td></tr> <tr><td><a href="Unix_syscalls.Passwd.html#TYPEt">t</a> [<a href="Unix_syscalls.Passwd.html">Unix_syscalls.Passwd</a>]</td> <td></td></tr> <tr><td><a href="Unix_syscalls.Terminal_io.html#TYPEt">t</a> [<a href="Unix_syscalls.Terminal_io.html">Unix_syscalls.Terminal_io</a>]</td> <td></td></tr> <tr><td><a href="Unix_syscalls.Host.html#TYPEt">t</a> [<a href="Unix_syscalls.Host.html">Unix_syscalls.Host</a>]</td> <td></td></tr> <tr><td><a href="Unix_syscalls.Protocol_family.html#TYPEt">t</a> [<a href="Unix_syscalls.Protocol_family.html">Unix_syscalls.Protocol_family</a>]</td> <td></td></tr> <tr><td><a href="Unix_syscalls.Inet_addr.html#TYPEt">t</a> [<a href="Unix_syscalls.Inet_addr.html">Unix_syscalls.Inet_addr</a>]</td> <td></td></tr> <tr><td><a href="Unix_syscalls.Stats.html#TYPEt">t</a> [<a href="Unix_syscalls.Stats.html">Unix_syscalls.Stats</a>]</td> <td></td></tr> <tr><td><a href="Unix_syscalls.File_kind.html#TYPEt">t</a> [<a href="Unix_syscalls.File_kind.html">Unix_syscalls.File_kind</a>]</td> <td></td></tr> <tr><td><a href="Thread_pool.Helper_thread.html#TYPEt">t</a> [<a href="Thread_pool.Helper_thread.html">Thread_pool.Helper_thread</a>]</td> <td><div class="info"> A helper thread is a thread with its own dedicated work queue. </div> </td></tr> <tr><td><a href="Thread_pool.html#TYPEt">t</a> [<a href="Thread_pool.html">Thread_pool</a>]</td> <td></td></tr> <tr><td><a href="Writer.html#TYPEt">t</a> [<a href="Writer.html">Writer</a>]</td> <td></td></tr> <tr><td><a href="Thread_safe_pipe.html#TYPEt">t</a> [<a href="Thread_safe_pipe.html">Thread_safe_pipe</a>]</td> <td></td></tr> <tr><td><a href="Unix_syscalls.Socket.Opt.html#TYPEt">t</a> [<a href="Unix_syscalls.Socket.Opt.html">Unix_syscalls.Socket.Opt</a>]</td> <td></td></tr> <tr><td><a href="Unix_syscalls.Socket.Type.html#TYPEt">t</a> [<a href="Unix_syscalls.Socket.Type.html">Unix_syscalls.Socket.Type</a>]</td> <td></td></tr> <tr><td><a href="Unix_syscalls.Socket.Family.html#TYPEt">t</a> [<a href="Unix_syscalls.Socket.Family.html">Unix_syscalls.Socket.Family</a>]</td> <td></td></tr> <tr><td><a href="Unix_syscalls.Socket.Address.Inet.html#TYPEt">t</a> [<a href="Unix_syscalls.Socket.Address.Inet.html">Unix_syscalls.Socket.Address.Inet</a>]</td> <td></td></tr> <tr><td><a href="Unix_syscalls.Socket.Address.Unix.html#TYPEt">t</a> [<a href="Unix_syscalls.Socket.Address.Unix.html">Unix_syscalls.Socket.Address.Unix</a>]</td> <td></td></tr> <tr><td><a href="Unix_syscalls.Socket.Address.html#TYPEt">t</a> [<a href="Unix_syscalls.Socket.Address.html">Unix_syscalls.Socket.Address</a>]</td> <td></td></tr> <tr><td><a href="Unix_syscalls.Socket.html#TYPEt">t</a> [<a href="Unix_syscalls.Socket.html">Unix_syscalls.Socket</a>]</td> <td><div class="info"> Sockets have a phantom type parameter that tracks the state of the socket in order to eliminate certain errors in which socket functions are called in the wrong order. </div> </td></tr> <tr><td><a href="Signal_manager.html#TYPEt">t</a> [<a href="Signal_manager.html">Signal_manager</a>]</td> <td></td></tr> <tr><td><a href="Scheduler.html#TYPEt">t</a> [<a href="Scheduler.html">Scheduler</a>]</td> <td></td></tr> <tr><td><a href="Read_write.Mutable.html#TYPEt">t</a> [<a href="Read_write.Mutable.html">Read_write.Mutable</a>]</td> <td></td></tr> <tr><td><a href="Read_write.Read_only.html#TYPEt">t</a> [<a href="Read_write.Read_only.html">Read_write.Read_only</a>]</td> <td></td></tr> <tr><td><a href="Read_write.Immutable.html#TYPEt">t</a> [<a href="Read_write.Immutable.html">Read_write.Immutable</a>]</td> <td></td></tr> <tr><td><a href="Read_write.Key.html#TYPEt">t</a> [<a href="Read_write.Key.html">Read_write.Key</a>]</td> <td></td></tr> <tr><td><a href="Read_write.html#TYPEt">t</a> [<a href="Read_write.html">Read_write</a>]</td> <td></td></tr> <tr><td><a href="Reader.Read_result.html#TYPEt">t</a> [<a href="Reader.Read_result.html">Reader.Read_result</a>]</td> <td></td></tr> <tr><td><a href="Reader.html#TYPEt">t</a> [<a href="Reader.html">Reader</a>]</td> <td></td></tr> <tr><td><a href="Raw_signal_manager.Handler.html#TYPEt">t</a> [<a href="Raw_signal_manager.Handler.html">Raw_signal_manager.Handler</a>]</td> <td></td></tr> <tr><td><a href="Raw_signal_manager.Handlers.html#TYPEt">t</a> [<a href="Raw_signal_manager.Handlers.html">Raw_signal_manager.Handlers</a>]</td> <td></td></tr> <tr><td><a href="Raw_signal_manager.html#TYPEt">t</a> [<a href="Raw_signal_manager.html">Raw_signal_manager</a>]</td> <td></td></tr> <tr><td><a href="Raw_scheduler.File_descr_watcher.html#TYPEt">t</a> [<a href="Raw_scheduler.File_descr_watcher.html">Raw_scheduler.File_descr_watcher</a>]</td> <td></td></tr> <tr><td><a href="Raw_scheduler.html#TYPEt">t</a> [<a href="Raw_scheduler.html">Raw_scheduler</a>]</td> <td></td></tr> <tr><td><a href="Raw_fd.T.html#TYPEt">t</a> [<a href="Raw_fd.T.html">Raw_fd.T</a>]</td> <td></td></tr> <tr><td><a href="Raw_fd.Watching.html#TYPEt">t</a> [<a href="Raw_fd.Watching.html">Raw_fd.Watching</a>]</td> <td></td></tr> <tr><td><a href="Raw_fd.State.html#TYPEt">t</a> [<a href="Raw_fd.State.html">Raw_fd.State</a>]</td> <td></td></tr> <tr><td><a href="Raw_fd.Kind.html#TYPEt">t</a> [<a href="Raw_fd.Kind.html">Raw_fd.Kind</a>]</td> <td></td></tr> <tr><td><a href="Process.Output.html#TYPEt">t</a> [<a href="Process.Output.html">Process.Output</a>]</td> <td></td></tr> <tr><td><a href="Process.html#TYPEt">t</a> [<a href="Process.html">Process</a>]</td> <td></td></tr> <tr><td><a href="Io_stats.html#TYPEt">t</a> [<a href="Io_stats.html">Io_stats</a>]</td> <td></td></tr> <tr><td><a href="In_thread.Helper_thread.html#TYPEt">t</a> [<a href="In_thread.Helper_thread.html">In_thread.Helper_thread</a>]</td> <td><div class="info"> A Helper_thread is a thread that is dedicated to handling computations external to Async. </div> </td></tr> <tr><td><a href="Interruptor.html#TYPEt">t</a> [<a href="Interruptor.html">Interruptor</a>]</td> <td></td></tr> <tr><td><a href="File_descr_watcher_intf.S.Check_result.html#TYPEt">t</a> [<a href="File_descr_watcher_intf.S.Check_result.html">File_descr_watcher_intf.S.Check_result</a>]</td> <td></td></tr> <tr><td><a href="File_descr_watcher_intf.S.Pre.html#TYPEt">t</a> [<a href="File_descr_watcher_intf.S.Pre.html">File_descr_watcher_intf.S.Pre</a>]</td> <td></td></tr> <tr><td><a href="File_descr_watcher_intf.S.html#TYPEt">t</a> [<a href="File_descr_watcher_intf.S.html">File_descr_watcher_intf.S</a>]</td> <td><div class="info"> A file-descr-watcher is essentially a map from <code class="code">File_descr.t</code> to <code class="code">bool Read_write.t</code>, which defines the set of file descriptors being watched, and for each file descriptor, whether it is being watched for read, write, or both. </div> </td></tr> <tr><td><a href="File_descr_watcher_intf.Timeout.html#TYPEt">t</a> [<a href="File_descr_watcher_intf.Timeout.html">File_descr_watcher_intf.Timeout</a>]</td> <td></td></tr> <tr><td><a href="File_descr_watcher_intf.Post.html#TYPEt">t</a> [<a href="File_descr_watcher_intf.Post.html">File_descr_watcher_intf.Post</a>]</td> <td></td></tr> <tr><td><a href="Fd_by_descr.html#TYPEt">t</a> [<a href="Fd_by_descr.html">Fd_by_descr</a>]</td> <td></td></tr> <tr><td><a href="Fd.Kind.html#TYPEt">t</a> [<a href="Fd.Kind.html">Fd.Kind</a>]</td> <td></td></tr> <tr><td><a href="Fd.html#TYPEt">t</a> [<a href="Fd.html">Fd</a>]</td> <td></td></tr> <tr><td><a href="Raw_scheduler.html#TYPEthe_one_and_only">the_one_and_only</a> [<a href="Raw_scheduler.html">Raw_scheduler</a>]</td> <td></td></tr> <tr><td><a href="Unix_syscalls.html#TYPEtm">tm</a> [<a href="Unix_syscalls.html">Unix_syscalls</a>]</td> <td></td></tr> <tr><td align="left"><br>W</td></tr> <tr><td><a href="Unix_syscalls.html#TYPEwait_on">wait_on</a> [<a href="Unix_syscalls.html">Unix_syscalls</a>]</td> <td></td></tr> <tr><td><a href="Process.html#TYPEwith_create_args">with_create_args</a> [<a href="Process.html">Process</a>]</td> <td><div class="info"> <code class="code">with_create_args</code> specifies the arguments used to create a child process. </div> </td></tr> <tr><td><a href="Scheduler.html#TYPEwith_options">with_options</a> [<a href="Scheduler.html">Scheduler</a>]</td> <td></td></tr> <tr><td><a href="Raw_scheduler.html#TYPEwith_options">with_options</a> [<a href="Raw_scheduler.html">Raw_scheduler</a>]</td> <td></td></tr> </table> </body> </html>