class buffered_raw_in_channel :?eol:string list -> ?buffer_size:int -> ?pass_through:int -> raw_in_channel ->
enhanced_raw_in_channel
raw_in_channel
.
As additional feature, the method enhanced_input_line
is a fast
version of input_line
that profits from the buffer.
eol
: The accepted end-of-line delimiters. The method
enhanced_input_line
recognizes any of the passed strings as EOL
delimiters. When more than one delimiter matches, the longest
is taken. Defaults to ["\n"]
. Note that input_line
always only recognizes "\n"
as EOL character, this cannot
be changed.
The delimiter strings must neither be empty, nor longer than
buffer_size
.buffer_size
: The size of the buffer, by default 4096.pass_through
: If the read request has at least this size,
and the buffer is currently empty, the buffer will be bypassed.
Defaults to max_int
, i.e. it is off.