<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 class methods" rel=Appendix href="index_methods.html"> <link title="Index of classes" rel=Appendix href="index_classes.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Base64" rel="Chapter" href="Base64.html"> <link title="BitSet" rel="Chapter" href="BitSet.html"> <link title="Dllist" rel="Chapter" href="Dllist.html"> <link title="DynArray" rel="Chapter" href="DynArray.html"> <link title="Enum" rel="Chapter" href="Enum.html"> <link title="ExtArray" rel="Chapter" href="ExtArray.html"> <link title="ExtHashtbl" rel="Chapter" href="ExtHashtbl.html"> <link title="ExtList" rel="Chapter" href="ExtList.html"> <link title="ExtString" rel="Chapter" href="ExtString.html"> <link title="Global" rel="Chapter" href="Global.html"> <link title="IO" rel="Chapter" href="IO.html"> <link title="OptParse" rel="Chapter" href="OptParse.html"> <link title="Option" rel="Chapter" href="Option.html"> <link title="PMap" rel="Chapter" href="PMap.html"> <link title="RefList" rel="Chapter" href="RefList.html"> <link title="Std" rel="Chapter" href="Std.html"> <link title="UChar" rel="Chapter" href="UChar.html"> <link title="UTF8" rel="Chapter" href="UTF8.html"> <link title="Unzip" rel="Chapter" href="Unzip.html"><title>IO</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> input<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a output<br> <span class="keyword">exception</span> <span class="constructor">No_more_input</span><br> <span class="keyword">exception</span> <span class="constructor">Input_closed</span><br> <span class="keyword">exception</span> <span class="constructor">Output_closed</span><br> <span class="keyword">val</span> read : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> char<br> <span class="keyword">val</span> nread : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> int <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> really_nread : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> int <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> input : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> really_input : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> close_in : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> char <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> nwrite : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> output : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> really_output : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> flush : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> close_out : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> input_string : string <span class="keywordsign">-></span> <span class="constructor">IO</span>.input<br> <span class="keyword">val</span> output_string : unit <span class="keywordsign">-></span> string <span class="constructor">IO</span>.output<br> <span class="keyword">val</span> input_channel : <span class="constructor">Pervasives</span>.in_channel <span class="keywordsign">-></span> <span class="constructor">IO</span>.input<br> <span class="keyword">val</span> output_channel : <span class="constructor">Pervasives</span>.out_channel <span class="keywordsign">-></span> unit <span class="constructor">IO</span>.output<br> <span class="keyword">val</span> input_enum : char <span class="constructor">Enum</span>.t <span class="keywordsign">-></span> <span class="constructor">IO</span>.input<br> <span class="keyword">val</span> output_enum : unit <span class="keywordsign">-></span> char <span class="constructor">Enum</span>.t <span class="constructor">IO</span>.output<br> <span class="keyword">val</span> create_in :<br> read:(unit <span class="keywordsign">-></span> char) <span class="keywordsign">-></span><br> input:(string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int) <span class="keywordsign">-></span> close:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">IO</span>.input<br> <span class="keyword">val</span> create_out :<br> write:(char <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span><br> output:(string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int) <span class="keywordsign">-></span><br> flush:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> close:(unit <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output<br> <span class="keyword">val</span> printf :<br> <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> (<span class="keywordsign">'</span>b, unit, string, unit) <span class="constructor">Pervasives</span>.format4 <span class="keywordsign">-></span> <span class="keywordsign">'</span>b<br> <span class="keyword">val</span> read_all : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> pipe : unit <span class="keywordsign">-></span> <span class="constructor">IO</span>.input * unit <span class="constructor">IO</span>.output<br> <span class="keyword">val</span> pos_in : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> <span class="constructor">IO</span>.input * (unit <span class="keywordsign">-></span> int)<br> <span class="keyword">val</span> pos_out : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output * (unit <span class="keywordsign">-></span> int)<br> <span class="keyword">external</span> cast_output : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> unit <span class="constructor">IO</span>.output = <span class="string">"%identity"</span><br> <span class="keyword">exception</span> <span class="constructor">Overflow</span> <span class="keyword">of</span> string<br> <span class="keyword">val</span> read_byte : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> read_signed_byte : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> read_ui16 : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> read_i16 : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> read_i32 : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> read_real_i32 : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> read_i64 : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> int64<br> <span class="keyword">val</span> read_double : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> read_string : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> read_line : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> write_byte : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_ui16 : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_i16 : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_i32 : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_real_i32 : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_i64 : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_double : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> float <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_string : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_line : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br> <span class="keyword">module</span> <span class="constructor">BigEndian</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">val</span> read_ui16 : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> read_i16 : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> read_i32 : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> read_real_i32 : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> read_i64 : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> int64<br> <span class="keyword">val</span> read_double : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> write_ui16 : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_i16 : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_i32 : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_real_i32 : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_i64 : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> write_double : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> float <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span><br> <span class="keyword">type</span> in_bits<br> <span class="keyword">type</span> out_bits<br> <span class="keyword">exception</span> <span class="constructor">Bits_error</span><br> <span class="keyword">val</span> input_bits : <span class="constructor">IO</span>.input <span class="keywordsign">-></span> <span class="constructor">IO</span>.in_bits<br> <span class="keyword">val</span> output_bits : <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span> <span class="constructor">IO</span>.out_bits<br> <span class="keyword">val</span> read_bits : <span class="constructor">IO</span>.in_bits <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> write_bits : <span class="constructor">IO</span>.out_bits <span class="keywordsign">-></span> nbits:int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> flush_bits : <span class="constructor">IO</span>.out_bits <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> drop_bits : <span class="constructor">IO</span>.in_bits <span class="keywordsign">-></span> unit<br> <span class="keyword">class</span> in_channel :<br> <span class="constructor">IO</span>.input <span class="keywordsign">-></span><br> <span class="keyword">object</span><br> <span class="keyword">method</span> close_in : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> input : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">end</span><br> <span class="keyword">class</span> out_channel :<br> <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span><br> <span class="keyword">object</span><br> <span class="keyword">method</span> close_out : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> flush : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> output : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">end</span><br> <span class="keyword">class</span> in_chars :<br> <span class="constructor">IO</span>.input <span class="keywordsign">-></span><br> <span class="keyword">object</span> <span class="keyword">method</span> close_in : unit <span class="keywordsign">-></span> unit <span class="keyword">method</span> get : unit <span class="keywordsign">-></span> char <span class="keyword">end</span><br> <span class="keyword">class</span> out_chars :<br> <span class="keywordsign">'</span>a <span class="constructor">IO</span>.output <span class="keywordsign">-></span><br> <span class="keyword">object</span><br> <span class="keyword">method</span> close_out : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> flush : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> put : char <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span><br> <span class="keyword">val</span> from_in_channel : <span class="keywordsign">#</span><span class="constructor">IO</span>.in_channel <span class="keywordsign">-></span> <span class="constructor">IO</span>.input<br> <span class="keyword">val</span> from_out_channel : <span class="keywordsign">#</span><span class="constructor">IO</span>.out_channel <span class="keywordsign">-></span> unit <span class="constructor">IO</span>.output<br> <span class="keyword">val</span> from_in_chars : <span class="keywordsign">#</span><span class="constructor">IO</span>.in_chars <span class="keywordsign">-></span> <span class="constructor">IO</span>.input<br> <span class="keyword">val</span> from_out_chars : <span class="keywordsign">#</span><span class="constructor">IO</span>.out_chars <span class="keywordsign">-></span> unit <span class="constructor">IO</span>.output<br> <span class="keyword">end</span></code></body></html>