lib/easy_domain.dtl

   1 {{The most common kinds of domain configuration}}
   2
   3 val default_node : (node) = "navajos";
   4 val web_node : (web_node) = "navajos";
   5 val web_ip = ip_of_node (web_node_to_node web_node);
   6
   7 val webAt =
   8   \ n : (web_node) ->
   9   \ host : (host) ->
  10   \\ config : Vhost -> begin
  11     dns (dnsA (literal host) (ip_of_node (web_node_to_node n)));
  12
  13     vhost host where
  14       WebPlaces = [web_place_default n]
  15     with
  16       config
  17     end
  18   end;
  19
  20 val web = \ host -> \\ config : Vhost -> begin
  21   n <- DefaultWebNode;
  22   webAt n host with config end;
  23 end;
  24
  25 val webAtIp =
  26   \ ip : (your_ip) ->
  27   \ host : (host) ->
  28   \\ config : Vhost -> begin
  29     dns (dnsA (literal host) (your_ip_to_ip ip));
  30
  31     vhost host where
  32       WebPlaces = [web_place web_node ip]
  33     with
  34       config
  35     end
  36   end;
  37
  38 val addDefaultAlias = begin
  39   mailbox <- Mailbox;
  40   defaultAlias mailbox
  41 end;
  42
  43 val addWww = begin
  44   web "www" with
  45     serverAliasDefault;
  46     www : [Vhost] <- WWW;
  47     www
  48   end
  49 end;
  50
  51 val dom =
  52   \ d : (your_domain) ->
  53   \\ config : Domain ->
  54   domain d with
  55     dns (dnsNS "ns1.hcoop.net");
  56     dns (dnsNS "ns2.hcoop.net");
  57
  58     user_web_node <- DefaultWebNode;
  59
  60     defa : bool <- DefaultA;
  61     if defa then
  62       dns (dnsA default (ip_of_node (web_node_to_node user_web_node)))
  63     else
  64       Skip
  65     end;
  66
  67     hmail : bool <- HandleMail;
  68     if hmail then
  69       handleMail
  70     else
  71       Skip
  72     end;
  73
  74     amx : bool <- AddMX;
  75     if amx then
  76       dns (dnsMX 1 "mail.hcoop.net")
  77     else
  78       Skip
  79     end;
  80
  81     createWWW : bool <- CreateWWW;
  82     if createWWW then
  83       addWww
  84     else
  85       Skip
  86     end;
  87
  88     defAl : bool <- DefaultAlias;
  89     if defAl then
  90       addDefaultAlias
  91     else
  92       Skip
  93     end;
  94
  95     config
  96 end;
  97
  98 val nameserver = \host -> dns (dnsNS host);
  99 val dnsIP = \from -> \to -> dns (dnsA (literal from) to);
 100 val dnsIPv6 = \from -> \to -> dns (dnsAAAA (literal from) to);
 101 val dnsMail = \num -> \host -> dns (dnsMX num host);
 102 val dnsAlias = \from -> \to -> dns (dnsCNAME (literal from) to);
 103 val dnsDefault = \to -> dns (dnsA default to);
 104 val dnsDefaultv6 = \to -> dns (dnsAAAA default to);
 105 val dnsText = \from -> \to -> dns (dnsTXT (srv_literal from) to);
 106 val dnsDefaultText = \to -> dns (dnsTXT srv_default to);
 107
 108 val dnsWildcardIP = \to -> dns (dnsA wildcard to);
 109
 110 val addDefaultSPF = dnsDefaultText "v=spf1 mx -all";