14.4.150  Winix_Io__Premicrothread

The standard library Winix_Io__Premicrothread api defines a sub-api of the Winix__Premicrothread api.

The Winix_Io__Premicrothread api is implemented in src/lib/std/src/posix/winix-io–premicrothread.pkg.

The Winix_Io__Premicrothread api source code is in src/lib/std/src/winix/winix-io–premicrothread.api.

See also: See also: Winix_Io. 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 :
        {timeout:Null_Or(time::Time ), wait_requests:List(Ioplea )} -> List(Ioplea_Result );
        wait_for_io_opportunity__without_syscall_redirection :
        {timeout:Null_Or(time::Time ), wait_requests:List(Ioplea )} -> List(Ioplea_Result );
        poll__syscall :
        (List(((Int , Unt)) ) , Null_Or(((one_word_int::Int , Int)) )) -> List(((Int , Unt)) );
        set__poll__ref :
                (   {fun_name:String,
                    io_call:(List(((Int , Unt)) ) , Null_Or(((one_word_int::Int , Int)) )) -> List(((Int , Unt)) ),
                    lib_name:String}
                ->
                (List(((Int , Unt)) ) , Null_Or(((one_word_int::Int , Int)) )) -> List(((Int , Unt)) )
                )
            ->
            Void;};