Netchannels.enhanced_raw_in_channel
Defines private methods reading text line by line
inherit raw_in_channel
An improved implementation of input_line
that uses the buffer
method private enhanced_input : Stdlib.Bytes.t -> int -> int -> input_result
An improved implementation of input_line
that uses the buffer
Works similar to input
, but distinguishes between normal data * and end-of-line separators. The latter are returned as * `Separator s
. When normal data is found, it is copied to the * string, and `Data n
is returned to indicate that n
bytes * were copied.