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: Unix_Domain_Socket__Premicrothread api. The above information is manually maintained and may contain errors.
api {
Unix;
Threadkit_Socket X = socket::Threadkit_Socket((Unix, X));
Stream_Socket X = Threadkit_Socket(?.proto_socket__premicrothread::Stream(X ) );
Datagram_Socket = Threadkit_Socket(?.proto_socket__premicrothread::Datagram );
Unix_Domain_Socket_Address = socket::Socket_Address(Unix );
unix_address_family : ?.proto_socket__premicrothread::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 {
make_socket : Void -> Stream_Socket(X );
make_socket_pair : Void -> (Stream_Socket(X ) , Stream_Socket(X ));};;
package datagram
: api {
make_socket : Void -> Datagram_Socket;
make_socket_pair : Void -> (Datagram_Socket , Datagram_Socket);};;};