The standard library Threadkit_Winix_Base_Io api is used to define the argument type for the generic package threadkit_file_g from src/lib/std/src/io/threadkit-file-g.pkg.
The Threadkit_Winix_Base_Io api source code is in src/lib/std/src/io/threadkit-winix-base-io.api.
The above information is manually maintained and may contain errors.
api { package base_io : api {
Mailop X = Mailop(X );
Rw_Vector ;
Vector ;
Element ;
Vector_Slice ;
Rw_Vector_Slice ;
eqtype File_Position ;
compare : (File_Position , File_Position) -> Order;
Reader
= READER {avail:Void -> Null_Or(Int ), chunk_size:Int,
close:Void -> Void,
end_position:Null_Or((Void -> File_Position) ),
get_position:Null_Or((Void -> File_Position) ),
io_descriptor:Null_Or(Int ), name:String,
read_arr_mailop:Rw_Vector_Slice -> Mailop(Int ),
read_rw_vector:Rw_Vector_Slice -> Int,
read_vec_mailop:Int -> Mailop(Vector ),
read_vector:Int -> Vector,
set_position:Null_Or((File_Position -> Void) ),
verify_position:Null_Or((Void -> File_Position) )};
Writer = WRITER {chunk_size:Int, close:Void -> Void,
end_position:Null_Or((Void -> File_Position) ),
get_position:Null_Or((Void -> File_Position) ),
io_descriptor:Null_Or(Int ), name:String,
set_position:Null_Or((File_Position -> Void) ),
verify_position:Null_Or((Void -> File_Position) ),
write_arr_mailop:Rw_Vector_Slice -> Mailop(Int ),
write_rw_vector:Rw_Vector_Slice -> Int,
write_vec_mailop:Vector_Slice -> Mailop(Int ),
write_vector:Vector_Slice -> Int};
};;
File_Descriptor ;
open_for_read : String -> base_io::Reader;
open_for_write : String -> base_io::Writer;
open_for_append : String -> base_io::Writer;
make_reader : {fd:File_Descriptor, name:String} -> base_io::Reader;
make_writer : {append_mode:Bool, chunk_size:Int,
fd:File_Descriptor, name:String}
-> base_io::Writer;
};