The standard library Winix_Io api defines a sub-api of the Winix api.
The Winix_Io api is implemented in winix_io.
The Winix_Io api source code is in src/lib/src/lib/thread-kit/src/winix/winix-io.api.
See also: See also: Winix_Io__Prepremicrothread.
The above information is manually maintained and may contain errors.
api {
eqtype Iod;
Iod_Kind = BLOCK_DEVICE | CHAR_DEVICE | DIRECTORY | FILE | OTHER | PIPE | SOCKET | SYMLINK;
hash : Iod -> Unt;
compare : (Iod , Iod) -> Order;
iod_to_iodkind : Iod -> ?.winix_types::Iod_Kind;
Ioplea = {io_descriptor:Iod, oobdable:Bool, readable:Bool, writable:Bool};
Ioplea_Result = Ioplea;
exception BAD_WAIT_REQUEST;
wait_for_io_opportunity : (List(Ioplea ) , Null_Or(Float )) -> List(Ioplea_Result );
wait_for_io_opportunity_mailop : List(Ioplea ) -> Mailop(List(Ioplea_Result ) );};