14.4.130  Unix_Domain_Socket__Premicrothread

The standard library Unix_Domain_Socket__Premicrothread api supports reading and writing of streams and datagrams via unix domain sockets.

The Unix_Domain_Socket__Premicrothread api is implemented by the unix_domain_socket__premicrothread package.

The Unix_Domain_Socket__Premicrothread api source code is in src/lib/std/src/socket/unix-domain-socket–premicrothread.api.

See also: Unix_Domain_Socket api. The above information is manually maintained and may contain errors.

api {
    Unix;
    Socket X = Int((_, _));
    Stream_Socket X = Socket(?.proto_socket__premicrothread::Stream(X ) );
    Datagram_Socket  = Socket(?.proto_socket__premicrothread::Datagram );
    Unix_Domain_Socket_Address  = ?.proto_socket__premicrothread::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);};;
    string_to_unix_domain_socket_address__syscall : String -> vector_of_one_byte_unts::Vector;
        set__string_to_unix_domain_socket_address__ref :
                (
                {fun_name:String, io_call:String -> vector_of_one_byte_unts::Vector, lib_name:String}
                ->
                String -> vector_of_one_byte_unts::Vector
                )
            ->
            Void;
    unix_domain_socket_address_to_string__syscall : vector_of_one_byte_unts::Vector -> String;
        set__unix_domain_socket_address_to_string__ref :
                (
                {fun_name:String, io_call:vector_of_one_byte_unts::Vector -> String, lib_name:String}
                ->
                vector_of_one_byte_unts::Vector -> String
                )
            ->
            Void;};