The standard library Internet_Socket api defines access to TCP and UDP Internet Protocol sockets.
The Internet_Socket api is implemented by the internet_socket package.
The Internet_Socket api source code is in src/lib/std/src/socket/internet-socket.api.
See also: Threadkit_Internet_Socket package.
The above information is manually maintained and may contain errors.
api { Inet ;
Socket X = ?.pre_socket::Socket((Inet, X) );
Stream_Socket X = Socket(?.pre_socket::Stream(X ) );
Datagram_Socket = 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;
};;
to_string : Socket(X ) -> String;
set_printif_fd : Int -> Void;
};