Plasma GitLab Archive
Projects Blog Knowledge

Class Ftp_data_endpoint.read_in_record_channel

class read_in_record_channel : repr:text_data_repr -> Netchannels.in_obj_channel -> in_record_channel
Provides an in_record_channel that takes newline characters as EOR representation.

In this implementation, input_line can be used to read the full contents of a record (=line). However, input_line does not switch to the next record.


repr : Determines the newline character to use

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