14.4.113  Unix_Domain_Socket

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);
                       };;
};