X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/b096303256418167cb3d9f05e95ee13ef063dc20..8632e78dd223241afc4d6a9c9afa700d388fc049:/lib/domain.dtl?ds=sidebyside diff --git a/lib/domain.dtl b/lib/domain.dtl index 3d9b088..664066c 100644 --- a/lib/domain.dtl +++ b/lib/domain.dtl @@ -8,11 +8,17 @@ extern type no_newlines; extern type ip; {{An IP address}} +extern type ipv6; +{{An IPv6 address}} extern type your_ip; extern val your_ip_to_ip : your_ip -> ip; {{An IP address that you're authorized to use; e.g., for an SSL web host}} +extern type your_ipv6; +extern val your_ipv6_to_ipv6 : your_ipv6 -> ipv6; +{{An IPv6 address that you're authorized to use; e.g., for an SSL web host}} + extern type host; {{A hostname; that is, (more or less) an alphanumeric string}} @@ -31,6 +37,9 @@ extern type node; extern val ip_of_node : node -> ip; {{Look up the IP address of a node.}} +extern val ipv6_of_node : node -> ipv6; +{{Look up the IPv6 address of a node.}} + extern type user; extern type group; {{UNIX users and groups}} @@ -64,7 +73,7 @@ extern type soa; {{DNS start-of-authority record}} extern val soa : domain -> serial -> int -> int -> int -> int -> soa; -val defaultSoa = soa "deleuze.hcoop.net" serialAuto 172800 900 1209600 3600; +val defaultSoa = soa "gibran.hcoop.net" serialAuto 86400 1800 1209600 3600; extern type dns_node; {{A node offering DNS services}}