14.4.14  Dns_Host_Lookup

The standard library Dns_Host_Lookup api defines access to basic low-level TCP/IP functionality to look up internet hosts by name and by address and so forth.

The Dns_Host_Lookup api is implemented by the dns_host_lookup package.

The Dns_Host_Lookup api source code is in src/lib/std/src/socket/dns-host-lookup.api.

The above information is manually maintained and may contain errors.

api {
    eqtype Internet_Address;
    eqtype Address_Family;
    Entry;
    name : Entry -> String;
    aliases : Entry -> List(String );
    address_type : Entry -> Address_Family;
    address : Entry -> Internet_Address;
    addresses : Entry -> List(Internet_Address );
    get_by_name : String -> Null_Or(Entry );
    get_by_address : Internet_Address -> Null_Or(Entry );
    get_host_name : Void -> String;
    scan : number_string::Reader((Char, X)) -> number_string::Reader((Internet_Address, X));
    from_string : String -> Null_Or(Internet_Address );
    to_string : Internet_Address -> String;
    Hostent;
    get_host_by_name__syscall : String -> Null_Or(Hostent );
        set__get_host_by_name__ref :
                (
                {fun_name:String, io_call:String -> Null_Or(Hostent ), lib_name:String}
                ->
                String -> Null_Or(Hostent )
                )
            ->
            Void;
    get_host_by_addr__syscall : vector_of_one_byte_unts::Vector -> Null_Or(Hostent );
        set__get_host_by_addr__ref :
                (
                {fun_name:String, io_call:vector_of_one_byte_unts::Vector -> Null_Or(Hostent ), lib_name:String}
                ->
                vector_of_one_byte_unts::Vector -> Null_Or(Hostent )
                )
            ->
            Void;
    get_host_name__syscall : Void -> String;
        set__get_host_name__ref :
        ({fun_name:String, io_call:Void -> String, lib_name:String} -> Void -> String) -> Void;};