type t = Caml.in_channel
val stdin : t
Channels are opened in binary mode iff
binary is true. This only has an effect on Windows.
with_file ~f fname executes
~f on the open channel from
fname, and closes it afterwards.
close t closes
t, or does nothing if
t is already closed, and may raise an exception.
Pervasives.really_input, for backwards compatibility
Read one character from the given input channel. Return
None if there are no more characters to read.
input_char, but return the 8-bit integer representing the character. Return
None if an end of file was reached.
Read an integer encoded in binary format (4 bytes, big-endian) from the given input channel. See
None if an end of file was reached while reading the integer.
input_buffer t buf ~len reads at most
len characters from the input channel
t and stores them at the end of buffer
None if the channel contains fewer than
len characters. In this case, the characters are still added to the buffer, so as to avoid loss of data.
input_line ?fix_win_eol t reads a line from
t and returns it, without the newline ("\n") character at the end, and, if
fix_win_eol the trailing "\r\n" is dropped.
fold_lines ?fix_win_eol t ~init ~f folds over the lines read from
input_line. Lines are provided to
f in the order they are found in the file.
Completely reads an input channel and returns the results as a list of strings. Each line in one string.
iter_lines ?fix_win_eol t ~f applies
f to each line read from
This works only for regular files. On files of other kinds, the behavior is unspecified.
Return the size (number of characters) of the regular file on which the given channel is opened. If the channel is opened on a file that is not a regular file, the result is meaningless. The returned size does not take into account the end-of-line translations that can be performed when reading from a channel opened in text mode.
Pervasives.set_binary_mode_in, only applicable for Windows or Cygwin, no-op otherwise
read_lines filename reads the full contents of file and returns it as a list of lines, closing the file when it's done. It's the equivalent of