The standard library Threadkit_Winix_Io api defines a sub-api of the Threadkit_Winix api.
The Threadkit_Winix_Io api is implemented in threadkit_winix_io.
The Threadkit_Winix_Io api source code is in src/lib/src/lib/thread-kit/src/winix/threadkit-winix-io.api.
See also: See also: 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 : (List(Wait_Request ) , Null_Or(time::Time ))
-> List(Wait_Result );
wait_for_io_opportunity_mailop : List(Wait_Request ) -> Mailop(List(Wait_Result ) );
select : (List(Wait_Request ) , Null_Or(time::Time ))
-> List(Wait_Result );
select_mailop : List(Wait_Request ) -> Mailop(List(Wait_Result ) );
};