14.4.43  Net_Db

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

The Net_Db api is implemented by the net_db package.

The Net_Db api source code is in src/lib/std/src/socket/net-db.api.

The above information is manually maintained and may contain errors.

api {    eqtype Network_Address ;
    Address_Family ;
    Entry ;
    name : Entry -> String;
    aliases : Entry -> List(String );
    address_type : Entry -> Address_Family;
    address : Entry -> Network_Address;
    get_by_name : String -> Null_Or(Entry );
    get_by_address : (Network_Address , Address_Family) -> Null_Or(Entry );
    scan : number_string::Reader((Char, X) ) -> number_string::Reader((Network_Address, X) );
    from_string : String -> Null_Or(Network_Address );
    to_string : Network_Address -> String;
};