The standard library Threadkit_Unix_Domain_Socket api supports reading and writing of streams and datagrams via unix domain sockets.
The Threadkit_Unix_Domain_Socket api is implemented by the threadkit_unix_domain_socket package.
The Threadkit_Unix_Domain_Socket api source code is in src/lib/std/src/socket/threadkit-unix-domain-socket.api.
See also: Unix_Domain_Socket api.
The above information is manually maintained and may contain errors.
api {
Unix ;
Threadkit_Socket X = threadkit_socket::Threadkit_Socket((Unix, X) );
Stream_Socket X =
Threadkit_Socket(?.pre_socket::Stream(X ) );
Datagram_Socket =
Threadkit_Socket(?.pre_socket::Datagram );
Unix_Domain_Socket_Address =
threadkit_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);
};;
};