The standard library Winix_Pure_Text_File_For_Os__Premicrothread api extends the Winix_Pure_File_For_Os__Premicrothread api by adding read_line and write_substring functions.
The Winix_Pure_Text_File_For_Os__Premicrothread api gets implemented as part of Winix_Text_File_For_Os__Premicrothread within winix_text_file_for_os_g__premicrothread from src/lib/std/src/io/winix-text-file-for-os-g–premicrothread.pkg.
The Winix_Pure_Text_File_For_Os__Premicrothread api source code is in src/lib/std/src/io/winix-pure-text-file-for-os–premicrothread.api.
The above information is manually maintained and may contain errors.
api {
Vector;
Element;
Filereader;
Filewriter;
Input_Stream;
Output_Stream;
File_Position;
Out_Position;
make_instream : (Filereader , Vector) -> Input_Stream;
read : Input_Stream -> (Vector , Input_Stream);
read_one : Input_Stream -> Null_Or(((Element , Input_Stream)) );
read_n : (Input_Stream , Int) -> (Vector , Input_Stream);
read_all : Input_Stream -> (Vector , Input_Stream);
close_input : Input_Stream -> Void;
end_of_stream : Input_Stream -> Bool;
get_reader : Input_Stream -> (Filereader , Vector);
file_position_in : Input_Stream -> File_Position;
make_outstream : (Filewriter , io_exceptions::Buffering_Mode) -> Output_Stream;
write : (Output_Stream , Vector) -> Void;
write_one : (Output_Stream , Element) -> Void;
flush : Output_Stream -> Void;
close_output : Output_Stream -> Void;
set_buffering_mode : (Output_Stream , io_exceptions::Buffering_Mode) -> Void;
get_buffering_mode : Output_Stream -> io_exceptions::Buffering_Mode;
get_writer : Output_Stream -> (Filewriter , io_exceptions::Buffering_Mode);
file_pos_out : Out_Position -> File_Position;
get_output_position : Output_Stream -> Out_Position;
set_output_position : Out_Position -> Void;
read_line : Input_Stream -> Null_Or(((String , Input_Stream)) );
write_substring : (Output_Stream , Substring) -> Void;};