14.4.71  Plain_Socket__Premicrothread

The standard library Plain_Socket__Premicrothread api defines access to vanilla TCP/IP socket functionality.

The Plain_Socket__Premicrothread api is implemented by the plain_socket__premicrothread package.

The Plain_Socket__Premicrothread api source code is in src/lib/std/src/socket/plain-socket–premicrothread.api.

See also: Plain_Socket api.

The above information is manually maintained and may contain errors.

api {   make_socket :
            (?.proto_socket__premicrothread::af::Address_Family , ?.socket_guts::typ::Socket_Type)
            ->
            Int((_, _));
        make_socket_pair :
            (?.proto_socket__premicrothread::af::Address_Family , ?.socket_guts::typ::Socket_Type)
            ->
            (Int((_, _)) , Int((_, _)));
        make_socket' :
            (?.proto_socket__premicrothread::af::Address_Family , ?.socket_guts::typ::Socket_Type , Int)
            ->
            Int((_, _));
        make_socket_pair' :
            (?.proto_socket__premicrothread::af::Address_Family , ?.socket_guts::typ::Socket_Type , Int)
            ->
            (Int((_, _)) , Int((_, _)));
    c_socket__syscall : (Int , Int , Int) -> Int;
        set__c_socket__ref :
            ({fun_name:String, io_call:(Int , Int , Int) -> Int, lib_name:String} -> (Int , Int , Int) -> Int)
            ->
            Void;
    c_socket_pair__syscall : (Int , Int , Int) -> (Int , Int);
        set__c_socket_pair__ref :
                (
                {fun_name:String, io_call:(Int , Int , Int) -> (Int , Int), lib_name:String}
                ->
                (Int , Int , Int) -> (Int , Int)
                )
            ->
            Void;};