The standard library Winix_Io api defines a sub-api of the Winix api.
The Winix_Io api is implemented in src/lib/std/src/posix/winix-io.pkg.
The Winix_Io api source code is in src/lib/std/src/winix/winix-io.api.
See also: See also: Threadkit_Winix_Io.
The above information is manually maintained and may contain errors.
api {
eqtype Io_Descriptor ;
eqtype Io_Descriptor_Kind ;
hash : Io_Descriptor -> Unt;
compare : (Io_Descriptor , Io_Descriptor) -> Order;
kind : Io_Descriptor -> Io_Descriptor_Kind;
package kind : api {
file : Io_Descriptor_Kind;
dir : Io_Descriptor_Kind;
symlink : Io_Descriptor_Kind;
tty : Io_Descriptor_Kind;
pipe : Io_Descriptor_Kind;
socket : Io_Descriptor_Kind;
device : Io_Descriptor_Kind;
};;
Wait_Request = {io_descriptor:Io_Descriptor, oobdable:Bool,
readable:Bool, writable:Bool};
Wait_Result = Wait_Request;
exception BAD_WAIT_REQUEST;
wait_for_io_opportunity : {timeout:Null_Or(time::Time ),
wait_requests:List(Wait_Request )}
-> List(Wait_Result );
select : {timeout:Null_Or(time::Time ),
wait_requests:List(Wait_Request )}
-> List(Wait_Result );
};