<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>Reader</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">module</span> <span class="constructor">Read_result</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> <span class="keywordsign">'</span>a t = [ <span class="keywordsign">`</span><span class="constructor">Eof</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Ok</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a ]<br> <span class="keyword">val</span> ( >>= ) : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t) <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t<br> <span class="keyword">val</span> ( >>| ) : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t<br> <span class="keyword">module</span> <span class="constructor">Monad_infix</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">val</span> ( >>= ) : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t) <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t<br> <span class="keyword">val</span> ( >>| ) : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t<br> <span class="keyword">end</span><br> <span class="keyword">val</span> bind : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t) <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t<br> <span class="keyword">val</span> return : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> map : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> f:(<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>b t<br> <span class="keyword">val</span> join : <span class="keywordsign">'</span>a t t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> ignore : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> unit t<br> <span class="keyword">val</span> all : <span class="keywordsign">'</span>a t list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list t<br> <span class="keyword">val</span> all_ignore : unit t list <span class="keywordsign">-></span> unit t<br> <span class="keyword">val</span> t_of_sexp :<br> (<span class="constructor">Sexplib</span>.<span class="constructor">Sexp</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="constructor">Sexplib</span>.<span class="constructor">Sexp</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t<br> <span class="keyword">val</span> __t_of_sexp__ :<br> (<span class="constructor">Sexplib</span>.<span class="constructor">Sexp</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="constructor">Sexplib</span>.<span class="constructor">Sexp</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t<br> <span class="keyword">val</span> sexp_of_t :<br> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="constructor">Sexplib</span>.<span class="constructor">Sexp</span>.t) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="keywordsign">-></span> <span class="constructor">Sexplib</span>.<span class="constructor">Sexp</span>.t<br> <span class="keyword">val</span> bin_t :<br> <span class="keywordsign">'</span>a <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bin_prot</span>.<span class="constructor">Type_class</span>.t <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bin_prot</span>.<span class="constructor">Type_class</span>.t<br> <span class="keyword">val</span> bin_read_t :<br> <span class="keywordsign">'</span>a <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bin_prot</span>.<span class="constructor">Unsafe_read_c</span>.reader <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bin_prot</span>.<span class="constructor">Read_ml</span>.reader<br> <span class="keyword">val</span> bin_read_t_ :<br> <span class="keywordsign">'</span>a <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bin_prot</span>.<span class="constructor">Unsafe_read_c</span>.reader <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bin_prot</span>.<span class="constructor">Unsafe_read_c</span>.reader<br> <span class="keyword">val</span> bin_read_t__ :<br> <span class="keywordsign">'</span>a <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bin_prot</span>.<span class="constructor">Unsafe_read_c</span>.reader <span class="keywordsign">-></span><br> (int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t)<br> <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bin_prot</span>.<span class="constructor">Unsafe_read_c</span>.reader<br> <span class="keyword">val</span> bin_reader_t :<br> <span class="keywordsign">'</span>a <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bin_prot</span>.<span class="constructor">Type_class</span>.reader <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bin_prot</span>.<span class="constructor">Type_class</span>.reader<br> <span class="keyword">val</span> bin_size_t :<br> <span class="keywordsign">'</span>a <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bin_prot</span>.<span class="constructor">Size</span>.sizer <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bin_prot</span>.<span class="constructor">Size</span>.sizer<br> <span class="keyword">val</span> bin_write_t :<br> <span class="keywordsign">'</span>a <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bin_prot</span>.<span class="constructor">Unsafe_write_c</span>.writer <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bin_prot</span>.<span class="constructor">Write_ml</span>.writer<br> <span class="keyword">val</span> bin_write_t_ :<br> <span class="keywordsign">'</span>a <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bin_prot</span>.<span class="constructor">Unsafe_write_c</span>.writer <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bin_prot</span>.<span class="constructor">Unsafe_write_c</span>.writer<br> <span class="keyword">val</span> bin_writer_t :<br> <span class="keywordsign">'</span>a <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bin_prot</span>.<span class="constructor">Type_class</span>.writer <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bin_prot</span>.<span class="constructor">Type_class</span>.writer<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Id</span> : <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Unique_id</span><br> <span class="keyword">type</span> t<br> <span class="keyword">val</span> invariant : t <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Invariant</span>.inv<br> <span class="keyword">val</span> io_stats : <span class="constructor">Io_stats</span>.t<br> <span class="keyword">val</span> last_read_time : <span class="constructor">Reader</span>.t <span class="keywordsign">-></span> <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Time</span>.t<br> <span class="keyword">val</span> stdin : <span class="constructor">Reader</span>.t <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Lazy</span>.t<br> <span class="keyword">val</span> open_file :<br> ?close_on_exec:bool <span class="keywordsign">-></span><br> ?buf_len:int <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Reader</span>.t <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> transfer :<br> <span class="constructor">Reader</span>.t <span class="keywordsign">-></span> string <span class="constructor">Import</span>.<span class="constructor">Pipe</span>.<span class="constructor">Writer</span>.t <span class="keywordsign">-></span> unit <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> pipe : <span class="constructor">Reader</span>.t <span class="keywordsign">-></span> string <span class="constructor">Import</span>.<span class="constructor">Pipe</span>.<span class="constructor">Reader</span>.t<br> <span class="keyword">val</span> create : ?buf_len:int <span class="keywordsign">-></span> <span class="constructor">Fd</span>.t <span class="keywordsign">-></span> <span class="constructor">Reader</span>.t<br> <span class="keyword">val</span> of_in_channel : <span class="constructor">Pervasives</span>.in_channel <span class="keywordsign">-></span> <span class="constructor">Fd</span>.<span class="constructor">Kind</span>.t <span class="keywordsign">-></span> <span class="constructor">Reader</span>.t<br> <span class="keyword">val</span> with_file :<br> ?buf_len:int <span class="keywordsign">-></span><br> ?exclusive:bool <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span> f:(<span class="constructor">Reader</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> close : <span class="constructor">Reader</span>.t <span class="keywordsign">-></span> unit <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> close_finished : <span class="constructor">Reader</span>.t <span class="keywordsign">-></span> unit <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> is_closed : <span class="constructor">Reader</span>.t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> with_close :<br> <span class="constructor">Reader</span>.t <span class="keywordsign">-></span> f:(unit <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> id : <span class="constructor">Reader</span>.t <span class="keywordsign">-></span> <span class="constructor">Id</span>.t<br> <span class="keyword">val</span> fd : <span class="constructor">Reader</span>.t <span class="keywordsign">-></span> <span class="constructor">Fd</span>.t<br> <span class="keyword">val</span> read :<br> <span class="constructor">Reader</span>.t <span class="keywordsign">-></span><br> ?pos:int <span class="keywordsign">-></span><br> ?len:int <span class="keywordsign">-></span> string <span class="keywordsign">-></span> int <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a read_one_chunk_at_a_time_until_eof_result =<br> [ <span class="keywordsign">`</span><span class="constructor">Eof</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Eof_with_unconsumed_data</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Stopped</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a ]<br> <span class="keyword">val</span> read_one_chunk_at_a_time_until_eof :<br> <span class="constructor">Reader</span>.t <span class="keywordsign">-></span><br> handle_chunk:(<span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bigstring</span>.t <span class="keywordsign">-></span><br> pos:int <span class="keywordsign">-></span><br> len:int <span class="keywordsign">-></span><br> [ <span class="keywordsign">`</span><span class="constructor">Consumed</span> <span class="keyword">of</span> int * [ <span class="keywordsign">`</span><span class="constructor">Need</span> <span class="keyword">of</span> int <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Need_unknown</span> ]<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Continue</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Stop</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a ] <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t) <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reader</span>.read_one_chunk_at_a_time_until_eof_result <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> read_substring :<br> <span class="constructor">Reader</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Substring</span>.t <span class="keywordsign">-></span> int <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> read_bigsubstring :<br> <span class="constructor">Reader</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bigsubstring</span>.t <span class="keywordsign">-></span> int <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> read_char : <span class="constructor">Reader</span>.t <span class="keywordsign">-></span> char <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> really_read :<br> <span class="constructor">Reader</span>.t <span class="keywordsign">-></span><br> ?pos:int <span class="keywordsign">-></span> ?len:int <span class="keywordsign">-></span> string <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Eof</span> <span class="keyword">of</span> int <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Ok</span> ] <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> really_read_substring :<br> <span class="constructor">Reader</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Substring</span>.t <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Eof</span> <span class="keyword">of</span> int <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Ok</span> ] <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> really_read_bigsubstring :<br> <span class="constructor">Reader</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bigsubstring</span>.t <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Eof</span> <span class="keyword">of</span> int <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Ok</span> ] <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> read_until :<br> <span class="constructor">Reader</span>.t <span class="keywordsign">-></span><br> [ <span class="keywordsign">`</span><span class="constructor">Char</span> <span class="keyword">of</span> char <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Pred</span> <span class="keyword">of</span> char <span class="keywordsign">-></span> bool ] <span class="keywordsign">-></span><br> keep_delim:bool <span class="keywordsign">-></span><br> [ <span class="keywordsign">`</span><span class="constructor">Eof</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Eof_without_delim</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Ok</span> <span class="keyword">of</span> string ] <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> read_until_max :<br> <span class="constructor">Reader</span>.t <span class="keywordsign">-></span><br> [ <span class="keywordsign">`</span><span class="constructor">Char</span> <span class="keyword">of</span> char <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Pred</span> <span class="keyword">of</span> char <span class="keywordsign">-></span> bool ] <span class="keywordsign">-></span><br> keep_delim:bool <span class="keywordsign">-></span><br> max:int <span class="keywordsign">-></span><br> [ <span class="keywordsign">`</span><span class="constructor">Eof</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Eof_without_delim</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Max_exceeded</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Ok</span> <span class="keyword">of</span> string ] <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> read_line : <span class="constructor">Reader</span>.t <span class="keywordsign">-></span> string <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> really_read_line :<br> wait_time:<span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Time</span>.<span class="constructor">Span</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reader</span>.t <span class="keywordsign">-></span> string option <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a read = ?parse_pos:<span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Sexp</span>.<span class="constructor">Parse_pos</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> read_sexp :<br> (<span class="constructor">Reader</span>.t <span class="keywordsign">-></span> <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Sexp</span>.t <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t)<br> <span class="constructor">Reader</span>.read<br> <span class="keyword">val</span> read_sexps :<br> (<span class="constructor">Reader</span>.t <span class="keywordsign">-></span> <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Sexp</span>.t <span class="constructor">Import</span>.<span class="constructor">Pipe</span>.<span class="constructor">Reader</span>.t) <span class="constructor">Reader</span>.read<br> <span class="keyword">val</span> read_bin_prot :<br> ?max_len:int <span class="keywordsign">-></span><br> <span class="constructor">Reader</span>.t <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Bin_prot</span>.<span class="constructor">Type_class</span>.reader <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> read_marshal_raw :<br> <span class="constructor">Reader</span>.t <span class="keywordsign">-></span> string <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> read_marshal : <span class="constructor">Reader</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> recv : <span class="constructor">Reader</span>.t <span class="keywordsign">-></span> string <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> read_all :<br> <span class="constructor">Reader</span>.t <span class="keywordsign">-></span><br> (<span class="constructor">Reader</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reader</span>.<span class="constructor">Read_result</span>.t <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t) <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Import</span>.<span class="constructor">Pipe</span>.<span class="constructor">Reader</span>.t<br> <span class="keyword">val</span> lseek :<br> <span class="constructor">Reader</span>.t <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> mode:[< <span class="keywordsign">`</span><span class="constructor">End</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Set</span> ] <span class="keywordsign">-></span> int64 <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> lines : <span class="constructor">Reader</span>.t <span class="keywordsign">-></span> string <span class="constructor">Import</span>.<span class="constructor">Pipe</span>.<span class="constructor">Reader</span>.t<br> <span class="keyword">val</span> contents : <span class="constructor">Reader</span>.t <span class="keywordsign">-></span> string <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> file_contents : string <span class="keywordsign">-></span> string <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> file_lines : string <span class="keywordsign">-></span> string list <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> load_sexp :<br> ?exclusive:bool <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span><br> (<span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Sexp</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Or_error</span>.t <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> load_sexp_exn :<br> ?exclusive:bool <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span> (<span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Sexp</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> load_sexps :<br> ?exclusive:bool <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span><br> (<span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Sexp</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Or_error</span>.t <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> load_sexps_exn :<br> ?exclusive:bool <span class="keywordsign">-></span><br> string <span class="keywordsign">-></span> (<span class="constructor">Core</span>.<span class="constructor">Std</span>.<span class="constructor">Sexp</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="constructor">Import</span>.<span class="constructor">Deferred</span>.t<br> <span class="keyword">val</span> sexp_of_t : <span class="constructor">Reader</span>.t <span class="keywordsign">-></span> <span class="constructor">Sexplib</span>.<span class="constructor">Sexp</span>.t<br> <span class="keyword">val</span> sexp_of_read_one_chunk_at_a_time_until_eof_result :<br> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="constructor">Sexplib</span>.<span class="constructor">Sexp</span>.t) <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reader</span>.read_one_chunk_at_a_time_until_eof_result <span class="keywordsign">-></span> <span class="constructor">Sexplib</span>.<span class="constructor">Sexp</span>.t<br> <span class="keyword">end</span></code></body></html>