13.4.191  winix_text_file_io_driver_for_posix

The standard libary winix_text_file_io_driver_for_posix package implements base-level input/output functionality for multithreaded Mythryl programs on posix operating systems.

The winix_text_file_io_driver_for_posix package implements a superset of the Winix_Extended_File_Io_Driver_For_Os api.

The winix_text_file_io_driver_for_posix package source code is in src/lib/std/src/posix/winix-text-file-io-driver-for-posix.pkg.

See also: winix_text_file_io_driver_for_posix package.

See also: winix_data_file_io_driver_for_posix package.

The above information is manually maintained and may contain errors.

api {   package drv
          : api {
                Mailop X = Mailop(X );
                Rw_Vector  = Rw_Vector;
                Vector  = Vector;
                Element  = Element;
                Vector_Slice  = vector_slice_of_chars::Slice;
                Rw_Vector_Slice  = rw_vector_slice_of_chars::Slice;
                File_Position  = File_Position;
                compare : (File_Position , File_Position) -> Order;
                    Filereader
                    = FILEREADER        {avail:Void -> Null_Or(Int ), best_io_quantum:Int, close:Void -> Void,
                                        end_file_position:Null_Or((Void -> File_Position) ), filename:String,
                                        get_file_position:Null_Or((Void -> File_Position) ), io_descriptor:Null_Or(Int ),
                                        read_vector:Int -> Vector, read_vector_mailop:Int -> Mailop(Vector ),
                                        set_file_position:Null_Or((File_Position -> Void) ),
                                        verify_file_position:Null_Or((Void -> File_Position) )};
                    Filewriter
                    = FILEWRITER
                            {best_io_quantum:Int, close:Void -> Void, end_file_position:Null_Or((Void -> File_Position) ),
                            filename:String, get_file_position:Null_Or((Void -> File_Position) ), io_descriptor:Null_Or(Int ),
                            set_file_position:Null_Or((File_Position -> Void) ),
                            verify_file_position:Null_Or((Void -> File_Position) ), write_rw_vector:Rw_Vector_Slice -> Int,
                            write_rw_vector_mailop:Rw_Vector_Slice -> Mailop(Int ), write_vector:Vector_Slice -> Int,
                            write_vector_mailop:Vector_Slice -> Mailop(Int )};};;
    File_Descriptor  = File_Descriptor;
    open_for_read : String -> drv::Filereader;
    open_for_write : String -> drv::Filewriter;
    open_for_append : String -> drv::Filewriter;
    make_filereader : {fd:File_Descriptor, filename:String} -> drv::Filereader;
        make_filewriter :
        {append_mode:Bool, best_io_quantum:Int, fd:File_Descriptor, filename:String} -> drv::Filewriter;
    stdin : Void -> drv::Filereader;
    stdout : Void -> drv::Filewriter;
    stderr : Void -> drv::Filewriter;
    string_reader : String -> drv::Filereader;};