Module Stdio.In_channel

An input channel for doing blocking reads from input sources like files and sockets.

Note that an In_channel.t is a custom block with a finalizer, and so is allocated directly to the major heap. Creating a lot of in_channels can result in many major collections and poor performance.

Note that this is simply another interface on the in_channel type in the OCaml standard library.

type t = Caml.in_channel
include Base.Equal.S with type t := t
type t
val equal : t Base.Equal.equal
val stdin : t
val create : ?⁠binary:Base.bool -> Base.string -> t
val with_file : ?⁠binary:Base.bool -> Base.string -> f:(t -> 'a) -> 'a

with_file ~f fname executes ~f on the open channel from fname, and closes it afterwards.

val close : t -> Base.unit

close t closes t, or does nothing if t is already closed, and may raise an exception.

val input : t -> buf:Base.bytes -> -> ->
val really_input : t -> buf:Base.bytes -> -> -> Base.unit Base.option
val really_input_exn : t -> buf:Base.bytes -> -> -> Base.unit

Same as Pervasives.really_input, for backwards compatibility

val input_char : t -> Base.char Base.option

Read one character from the given input channel. Return None if there are no more characters to read.

val input_byte : t -> Base.option

Same as input_char, but return the 8-bit integer representing the character. Return None if an end of file was reached.

val input_binary_int : t -> Base.option

Read an integer encoded in binary format (4 bytes, big-endian) from the given input channel. See Pervasives.output_binary_int. Return None if an end of file was reached while reading the integer.

val unsafe_input_value : t -> _ Base.option

Ocaml's built-in marshal format

val input_buffer : t -> Base.Buffer.t -> -> Base.unit Base.option

input_buffer t buf ~len reads at most len characters from the input channel t and stores them at the end of buffer buf. Return 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.

val input_all : t -> Base.string
val input_line : ?⁠fix_win_eol:Base.bool -> t -> Base.string Base.option

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.

val input_line_exn : ?⁠fix_win_eol:Base.bool -> t -> Base.string
val fold_lines : ?⁠fix_win_eol:Base.bool -> t -> init:'a -> f:('a -> Base.string -> 'a) -> 'a

fold_lines ?fix_win_eol t ~init ~f folds over the lines read from t using input_line. Lines are provided to f in the order they are found in the file.

val input_lines : ?⁠fix_win_eol:Base.bool -> t -> Base.string Base.list

Completely reads an input channel and returns the results as a list of strings. Each line in one string.

val iter_lines : ?⁠fix_win_eol:Base.bool -> t -> f:(Base.string -> Base.unit) -> Base.unit

iter_lines ?fix_win_eol t ~f applies f to each line read from t using input_line.

val seek : t -> Base.int64 -> Base.unit

This works only for regular files. On files of other kinds, the behavior is unspecified.

val pos : t -> Base.int64
val length : t -> Base.int64

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.

val set_binary_mode : t -> Base.bool -> Base.unit

same as Pervasives.set_binary_mode_in, only applicable for Windows or Cygwin, no-op otherwise

val read_lines : Base.string -> Base.string Base.list

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 with_file fname ~f:input_lines

val read_all : Base.string -> Base.string

read_all filename reads the full contents of file and returns it as a single string, closing the file when it's done. It's the equivalent of with_file fname ~f:input_all