More easy_domain

diff --git a/lib/alias.dtl b/lib/alias.dtl
index 8fe2246..10f7dde 100644 (file)
--- 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 (file)
--- 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 (file)
--- 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 (file)
--- 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.}}