The standard library Winix_Extended_File_Io_Driver_For_Os api is used to define the argument type for the generic package winix_text_file_for_os_g from src/lib/std/src/io/winix-text-file-for-os-g.pkg.
The Winix_Extended_File_Io_Driver_For_Os api source code is in src/lib/std/src/io/winix-extended-file-io-driver-for-os.api.
The above information is manually maintained and may contain errors.
api { package drv
: api {
Mailop X = Mailop(X );
Rw_Vector;
Vector;
Element;
Vector_Slice;
Rw_Vector_Slice;
eqtype 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;
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;};