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