14.4.30  Internet_Socket__Premicrothread

The standard library Internet_Socket__Premicrothread api defines access to TCP and UDP Internet Protocol sockets.

The Internet_Socket__Premicrothread api is implemented by the internet_socket__premicrothread package.

The Internet_Socket__Premicrothread api source code is in src/lib/std/src/socket/internet-socket–premicrothread.api.

See also: Internet_Socket package.

The above information is manually maintained and may contain errors.

api {
    Inet;
    Socket X = Int((_, _));
    Stream_Socket X = Socket(?.proto_socket__premicrothread::Stream(X ) );
    Datagram_Socket  = Socket(?.proto_socket__premicrothread::Datagram );
    Socket_Address  = ?.proto_socket__premicrothread::Socket_Address(Inet );
    inet_af : ?.proto_socket__premicrothread::af::Address_Family;
    to_address : (?.dns_host_lookupinternal::Internet_Address , Int) -> Socket_Address;
    from_address : Socket_Address -> (?.dns_host_lookupinternal::Internet_Address , Int);
    any : Int -> Socket_Address;
        package udp
          : api {
                make_socket : Void -> Datagram_Socket;
                make_socket' : Int -> Datagram_Socket;};;
        package tcp
          : api {
                make_socket : Void -> Stream_Socket(X );
                make_socket' : Int -> Stream_Socket(X );
                get_nodelay : Stream_Socket(X ) -> Bool;
                set_nodelay : (Stream_Socket(X ) , Bool) -> Void;};;
    to_string : Socket(X ) -> String;
    set_printif_fd : Int -> Void;
    to_inet_addr__syscall : (vector_of_one_byte_unts::Vector , Int) -> vector_of_one_byte_unts::Vector;
        set__to_inet_addr__ref :
                (   {fun_name:String,
                    io_call:(vector_of_one_byte_unts::Vector , Int) -> vector_of_one_byte_unts::Vector, lib_name:String}
                ->
                (vector_of_one_byte_unts::Vector , Int) -> vector_of_one_byte_unts::Vector
                )
            ->
            Void;
        from_inet_addr__syscall :
        vector_of_one_byte_unts::Vector -> (vector_of_one_byte_unts::Vector , Int);
        set__from_inet_addr__ref :
                (   {fun_name:String,
                    io_call:vector_of_one_byte_unts::Vector -> (vector_of_one_byte_unts::Vector , Int), lib_name:String}
                ->
                vector_of_one_byte_unts::Vector -> (vector_of_one_byte_unts::Vector , Int)
                )
            ->
            Void;
    inet_any__syscall : Int -> vector_of_one_byte_unts::Vector;
        set__inet_any__ref :
                (
                {fun_name:String, io_call:Int -> vector_of_one_byte_unts::Vector, lib_name:String}
                ->
                Int -> vector_of_one_byte_unts::Vector
                )
            ->
            Void;
    ctl_delay__syscall : (Int , Null_Or(Bool )) -> Bool;
        set__ctl_delay__ref :
                (
                {fun_name:String, io_call:(Int , Null_Or(Bool )) -> Bool, lib_name:String}
                ->
                (Int , Null_Or(Bool )) -> Bool
                )
            ->
            Void;
    set_printif_fd__syscall : Int -> Void;
        set__set_printif_fd__ref :
        ({fun_name:String, io_call:Int -> Void, lib_name:String} -> Int -> Void) -> Void;};