From 8c142ff5a8d781a44261c1ca2f15f0e13a9d2e88 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 17 Dec 2006 22:40:01 +0000
Subject: [PATCH] More easy_domain

---
 lib/alias.dtl       | 2 +-
 lib/domain.dtl      | 4 ++++
 lib/easy_domain.dtl | 5 +++++
 lib/exim.dtl        | 2 +-
 4 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/lib/alias.dtl b/lib/alias.dtl
index 8fe2246..10f7dde 100644
--- a/lib/alias.dtl
+++ b/lib/alias.dtl
@@ -28,7 +28,7 @@ extern val addressesTarget : [email] -> aliasTarget;
 extern val dropTarget : aliasTarget;
 {{Silently delete all mail to the associated source.}}
 
-extern val aliasPrim : aliasSource -> aliasTarget -> [Domain] {MailNodes: [node]};
+extern val aliasPrim : aliasSource -> aliasTarget -> [Domain] {MailNodes: [mail_node]};
 {{Request redirection of all mail from the source to the target, specifying on
   which nodes this redirection should be applied.}}
 
diff --git a/lib/domain.dtl b/lib/domain.dtl
index 5d2d057..afd922d 100644
--- a/lib/domain.dtl
+++ b/lib/domain.dtl
@@ -77,3 +77,7 @@ extern val noDns : dnsKind;
 
 extern val domain : your_domain -> Domain => [Root] {DNS : dnsKind, TTL : int};
 {{Configure a domain to which you have access rights.}}
+
+extern type mail_node;
+{{A node offering SMTP services}}
+extern val mail_node_to_node : mail_node -> node;
\ No newline at end of file
diff --git a/lib/easy_domain.dtl b/lib/easy_domain.dtl
index 3c3d4e0..92a635f 100644
--- a/lib/easy_domain.dtl
+++ b/lib/easy_domain.dtl
@@ -32,3 +32,8 @@ val dom =
 
 			config
 		end;
+
+val nameserver = \host -> dns (dnsNS host);
+val dnsIP = \from -> \to -> dns (dnsA from to);
+val dnsMail = \num -> \host -> dns (dnsMX num host);
+val dnsAlias = \from -> \to -> dns (dnsCNAME from to);
diff --git a/lib/exim.dtl b/lib/exim.dtl
index feb320e..3e9e749 100644
--- a/lib/exim.dtl
+++ b/lib/exim.dtl
@@ -1,4 +1,4 @@
 {{Exim MTA configuration}}
 
-extern val handleMail : [Domain] {MailNodes: [node]};
+extern val handleMail : [Domain] {MailNodes: [mail_node]};
 {{The specified nodes should handle mail for this domain.}}
-- 
2.20.1