Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature NET_HOST_DB = |
2 | sig | |
3 | eqtype addr_family | |
4 | type entry | |
5 | eqtype in_addr | |
6 | ||
7 | val addr: entry -> in_addr | |
8 | val addrType: entry -> addr_family | |
9 | val addrs: entry -> in_addr list | |
10 | val aliases: entry -> string list | |
11 | val fromString: string -> in_addr option | |
12 | val getByAddr: in_addr -> entry option | |
13 | val getByName: string -> entry option | |
14 | val getHostName: unit -> string | |
15 | val name: entry -> string | |
16 | val scan: (char, 'a) StringCvt.reader -> (in_addr, 'a) StringCvt.reader | |
17 | val toString: in_addr -> string | |
18 | end | |
19 | ||
20 | signature NET_HOST_DB_EXTRA = | |
21 | sig | |
22 | include NET_HOST_DB | |
23 | type pre_in_addr | |
24 | ||
25 | val any: unit -> in_addr | |
26 | val inAddrToWord8Vector: in_addr -> Word8.word vector | |
27 | val newInAddr: unit -> pre_in_addr * (unit -> in_addr) | |
28 | val preInAddrToWord8Array: pre_in_addr -> Word8.word array | |
29 | end |