14.4.89  Threadkit_Internet_Socket

The standard library Threadkit_Internet_Socket api defines access to TCP and UDP Internet Protocol sockets for multithreaded Mythryl programs.

The Threadkit_Internet_Socket api is implemented by the threadkit_internet_socket package.

The Threadkit_Internet_Socket api source code is in src/lib/std/src/socket/threadkit-internet-socket.api.

See also: Internet_Socket package.

The above information is manually maintained and may contain errors.

api {    Inet ;
    Threadkit_Socket X = ?.threadkit_pre_socket::Threadkit_Socket((Inet, X) );
    Stream_Socket X =
      Threadkit_Socket(?.pre_socket::Stream(X ) );
    Datagram_Socket  =
      Threadkit_Socket(?.pre_socket::Datagram );
    Socket_Address  = ?.pre_socket::Socket_Address(Inet );
    inet_af : ?.pre_socket::af::Address_Family;
    to_address : (?.dns_host_lookupinternal::Internet_Address , Int)
                 -> Socket_Address;
    from_address : Socket_Address
                   -> (?.dns_host_lookupinternal::Internet_Address , Int);
    any : Int -> Socket_Address;
    package udp : api {
                      socket : Void -> Datagram_Socket;
                      socket' : Int -> Datagram_Socket;
                  };;
    package tcp : api {
                      socket : Void -> Stream_Socket(X );
                      socket' : Int -> Stream_Socket(X );
                      get_nodelay : Stream_Socket(X ) -> Bool;
                      set_nodelay : (Stream_Socket(X ) , Bool) -> Void;
                  };;
};