The standard library Unix_Domain_Socket api supports reading and writing of streams and datagrams via unix domain sockets.
The Unix_Domain_Socket api is implemented by the unix_domain_socket package.
The Unix_Domain_Socket api source code is in src/lib/std/src/socket/unix-domain-socket.api.
See also: Threadkit_Unix_Domain_Socket api.
The above information is manually maintained and may contain errors.
api {
Unix ;
Socket X = ?.pre_socket::Socket((Unix, X) );
Stream_Socket X = Socket(?.pre_socket::Stream(X ) );
Datagram_Socket = Socket(?.pre_socket::Datagram );
Unix_Domain_Socket_Address =
?.pre_socket::Socket_Address(Unix );
unix_address_family : ?.pre_socket::af::Address_Family;
string_to_unix_domain_socket_address : String -> Unix_Domain_Socket_Address;
unix_domain_socket_address_to_string : Unix_Domain_Socket_Address -> String;
package stream : api {
socket : Void -> Stream_Socket(X );
socket_pair : Void -> (Stream_Socket(X ) , Stream_Socket(X ));
};;
package datagram : api {
socket : Void -> Datagram_Socket;
socket_pair : Void -> (Datagram_Socket , Datagram_Socket);
};;
};