Input channels.
type t = in_channelThe type of input channel.
type open_flag = open_flag = | Open_rdonlyopen for reading.
*)| Open_wronlyopen for writing.
*)| Open_appendopen for appending: always write at end of file.
*)| Open_creatcreate the file if it does not exist.
*)| Open_truncempty the file if it already exists.
*)| Open_exclfail if Open_creat and the file already exists.
*)| Open_binaryopen in binary mode (no conversion).
*)| Open_textopen in text mode (may perform conversions).
*)| Open_nonblockopen in non-blocking mode.
*)Opening modes for open_gen.
val stdin : tThe standard input for the process.
val open_bin : string -> tOpen the named file for reading, and return a new input channel on that file, positioned at the beginning of the file.
val open_text : string -> tval with_open_bin : string -> (t -> 'a) -> 'awith_open_bin fn f opens a channel ic on file fn and returns f
ic. After f returns, either with a value or by raising an exception, ic is guaranteed to be closed.
val with_open_text : string -> (t -> 'a) -> 'aLike with_open_bin, but the channel is opened in text mode (see open_text).
Like with_open_bin, but can specify the opening mode and file permission, in case the file must be created (see open_gen).
val seek : t -> int64 -> unitseek chan pos sets the current reading position to pos for channel chan. This works only for regular files. On files of other kinds, the behavior is unspecified.
val pos : t -> int64Return the current reading position for the given channel. For files opened in text mode under Windows, the returned position is approximate (owing to end-of-line conversion); in particular, saving the current position with pos, then going back to this position using seek will not work. For this programming idiom to work reliably and portably, the file must be opened in binary mode.
val length : t -> int64Return 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.
val close : t -> unitClose the given channel. Input functions raise a Sys_error exception when they are applied to a closed input channel, except close, which does nothing when applied to an already closed channel.
val input_char : t -> char optionRead one character from the given input channel. Returns None if there are no more characters to read.
val input_byte : t -> int optionSame as input_char, but return the 8-bit integer representing the character. Returns None if the end of file was reached.
val input_line : t -> string optioninput_line ic reads characters from ic until a newline or the end of file is reached. Returns the string of all characters read, without the newline (if any). Returns None if the end of the file has been reached. In particular, this will be the case if the last line of input is empty.
A newline is the character \n unless the file is open in text mode and Sys.win32 is true in which case it is the sequence of characters \r\n.
val input : t -> bytes -> int -> int -> intinput ic buf pos len reads up to len characters from the given channel ic, storing them in byte sequence buf, starting at character number pos. It returns the actual number of characters read, between 0 and len (inclusive). A return value of 0 means that the end of file was reached.
Use really_input to read exactly len characters.
val really_input : t -> bytes -> int -> int -> unit optionreally_input ic buf pos len reads len characters from channel ic, storing them in byte sequence buf, starting at character number pos.
Returns None if the end of file is reached before len characters have been read.
val really_input_string : t -> int -> string optionreally_input_string ic len reads len characters from channel ic and returns them in a new string. Returns None if the end of file is reached before len characters have been read.
val input_all : t -> stringinput_all ic reads all remaining data from ic.
val set_binary_mode : t -> bool -> unitset_binary_mode ic true sets the channel ic to binary mode: no translations take place during input.
set_binary_mode ic false sets the channel ic to text mode: depending on the operating system, some translations may take place during input. For instance, under Windows, end-of-lines will be translated from \r\n to \n.
This function has no effect under operating systems that do not distinguish between text mode and binary mode.