Plasma GitLab Archive
Projects Blog Knowledge

Class type Netchannels.enhanced_raw_in_channel

class type enhanced_raw_in_channel = object .. end

Defines private methods reading text line by line

method private enhanced_input_line : unit -> string

An improved implementation of input_line that uses the buffer

method private enhanced_input : Stdlib.Bytes.t -> int -> int -> input_result

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.

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml