The standard library winix_text_file_io_driver_for_posix__premicrothread package does something. Let me know if you figure out what.
The winix_text_file_io_driver_for_posix__premicrothread package implements the Winix_Extended_File_Io_Driver_For_Os api.
The winix_text_file_io_driver_for_posix__premicrothread package source code is in src/lib/std/src/posix/winix-text-file-io-driver-for-posix–premicrothread.pkg.
See also: winix_text_file_for_posix package.
See also: winix_data_file_io_driver_for_posix package.
See also: winix_base_data_file_io_driver_for_posix package.
The above information is manually maintained and may contain errors.
api { package drv
: api {
Element = Element;
Vector = Vector;
Vector_Slice = vector_slice_of_chars::Slice;
Rw_Vector = Rw_Vector;
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, blockx:Null_Or((Void -> Void) ),
can_readx:Null_Or((Void -> Bool) ), 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, set_file_position:Null_Or((File_Position -> Void) ),
verify_file_position:Null_Or((Void -> File_Position) )};
Filewriter
= FILEWRITER
{best_io_quantum:Int, blockx:Null_Or((Void -> Void) ), can_output:Null_Or((Void -> Bool) ),
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:Null_Or((Rw_Vector_Slice -> Int) ), write_vector:Null_Or((Vector_Slice -> Int) )};
open_vector : Vector -> Filereader;
null_reader : Void -> Filereader;
null_writer : Void -> Filewriter;
augment_reader : Filereader -> Filereader;
augment_writer : Filewriter -> Filewriter;};;
File_Descriptor = File_Descriptor;
open_for_read : String -> drv::Filereader;
open_for_write : String -> drv::Filewriter;
open_for_append : String -> drv::Filewriter;
make_filereader :
{file_descriptor:File_Descriptor, filename:String, ok_to_block:Bool} -> drv::Filereader;
make_filewriter :
{append_mode:Bool, best_io_quantum:Int, file_descriptor:File_Descriptor, filename:String,
ok_to_block:Bool}
->
drv::Filewriter;
stdin : Void -> drv::Filereader;
stdout : Void -> drv::Filewriter;
stderr : Void -> drv::Filewriter;
string_reader : String -> drv::Filereader;};