The standard library Socket_Junk api defines additional convenience functions on sockets, beyond those defined in Socket.
The Socket_Junk api is implemented by the socket_junk package.
The Socket_Junk api source code is in src/lib/internet/socket-junk.api.
See also: Socket.
The above information is manually maintained and may contain errors.
api { Port = PORT_NUMBER Int | SERV_NAME String;
Hostname
= HOST_ADDRESS ?.dns_host_lookupinternal::Internet_Address
| HOST_NAME String;
scan_addr : number_string::Reader((Char, X) )
-> number_string::Reader(
({host:Hostname, port:Null_Or(Port )}, X) );
addr_from_string : String
-> Null_Or({host:Hostname, port:Null_Or(Port )} );
exception BAD_ADDRESS String;
resolve_addr : {host:Hostname, port:Null_Or(Port )}
-> {address:?.dns_host_lookupinternal::Internet_Address,
host:String, port:Null_Or(Int )};
Stream_Socket X =
?.pre_socket::Socket(
(X, ?.pre_socket::Stream(?.pre_socket::Active )) );
connect_client_to_internet_domain_stream_socket : {address:?.dns_host_lookupinternal::Internet_Address,
port:Int}
-> Stream_Socket(internet_socket::Inet );
receive_vector : (Stream_Socket(X ) , Int)
-> vector_of_one_byte_unts::Vector;
receive_string : (Stream_Socket(X ) , Int) -> String;
send_vector : (Stream_Socket(X ) , vector_of_one_byte_unts::Vector)
-> Void;
send_string : (Stream_Socket(X ) , String) -> Void;
send_rw_vector : (Stream_Socket(X ) , rw_vector_of_one_byte_unts::Rw_Vector)
-> Void;
};