[hcoop/zz_old/domtool2-proto.git] / lib / bind.dtl

{{DNS configuration for BIND}}

extern type dnsRecord;

extern val dnsA : host -> ip -> dnsRecord;
extern val dnsAAAA : host -> ipv6 -> dnsRecord;
extern val dnsCNAME : host -> domain -> dnsRecord;
extern val dnsMX : int -> domain -> dnsRecord;
extern val dnsNS : domain -> dnsRecord;

extern val dnsDefaultA : ip -> dnsRecord;
extern val dnsDefaultAAAA : ipv6 -> dnsRecord;

extern val dns : dnsRecord -> [Domain] {TTL : int};
Commit	Line	Data
85af7d3e	1	{{DNS configuration for BIND}}
	2
	3	extern type dnsRecord;
	4
	5	extern val dnsA : host -> ip -> dnsRecord;
58751538	6	extern val dnsAAAA : host -> ipv6 -> dnsRecord;
85af7d3e	7	extern val dnsCNAME : host -> domain -> dnsRecord;
	8	extern val dnsMX : int -> domain -> dnsRecord;
	9	extern val dnsNS : domain -> dnsRecord;
	10
a54ae325	11	extern val dnsDefaultA : ip -> dnsRecord;
58751538	12	extern val dnsDefaultAAAA : ipv6 -> dnsRecord;
a54ae325	13
85af7d3e	14	extern val dns : dnsRecord -> [Domain] {TTL : int};