14.4.105  Threadkit_Text_Pure_Io

The standard library Threadkit_Text_Pure_Io api is a sub-api of the Threadkit_File api.

The Threadkit_Text_Pure_Io api is implemented by the src/lib/std/src/io/threadkit-file-g.pkg package.

The Threadkit_Text_Pure_Io api source code is in src/lib/std/src/io/threadkit-text-pure-io.api.

See also: Threadkit_Pure_Io.

The above information is manually maintained and may contain errors.

api {
    Vector ;
    Element ;
    Stream_Reader ;
    Stream_Writer ;
    Input_Stream ;
    Output_Stream ;
    File_Position ;
    Out_Position ;
    make_instream : (Stream_Reader , 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);
    can_read : (Input_Stream , Int) -> Null_Or(Int );
    close_input : Input_Stream -> Void;
    end_of_stream : Input_Stream -> Bool;
    get_reader : Input_Stream -> (Stream_Reader , Vector);
    file_position_in : Input_Stream -> File_Position;
    make_outstream : (Stream_Writer , 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
                 -> (Stream_Writer , 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;
    input1evt : Input_Stream
                -> Mailop(Null_Or(((Element , Input_Stream)) ) );
    input_nevt : (Input_Stream , Int)
                 -> Mailop(((Vector , Input_Stream)) );
    input_mailop : Input_Stream -> Mailop(((Vector , Input_Stream)) );
    input_all_mailop : Input_Stream -> Mailop(((Vector , Input_Stream)) );
    input_line_mailop : Input_Stream
                        -> Mailop(Null_Or(((Vector , Input_Stream)) ) );
};