14.4.70  Plain_Socket

The standard library Plain_Socket api defines access to vanilla TCP/IP socket functionality for multithreaded Mythryl programs.

The Plain_Socket api is implemented by the plain_socket package.

The Plain_Socket api source code is in src/lib/std/src/socket/plain-socket.api.

See also: Plain_Socket__Premicrothread 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)
            ->
            ?.proto_socket::Threadkit_Socket((X, Y));
        make_socket_pair :
            (?.proto_socket__premicrothread::af::Address_Family , ?.socket_guts::typ::Socket_Type)
            ->
            (?.proto_socket::Threadkit_Socket((X, Y)) , ?.proto_socket::Threadkit_Socket((X, Y)));
        make_socket' :
            (?.proto_socket__premicrothread::af::Address_Family , ?.socket_guts::typ::Socket_Type , Int)
            ->
            ?.proto_socket::Threadkit_Socket((X, Y));
        make_socket_pair' :
            (?.proto_socket__premicrothread::af::Address_Family , ?.socket_guts::typ::Socket_Type , Int)
            ->
            (?.proto_socket::Threadkit_Socket((X, Y)) , ?.proto_socket::Threadkit_Socket((X, Y)));};