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