lib/easy_domain.dtl

   1 {{The most common kinds of domain configuration}}
   2
   3 val default_node : (node) = "mire";
   4 val web_node : (web_node) = "mire";
   5
   6 val webAt =
   7   \ n : (web_node) ->
   8   \ host : (host) ->
   9   \\ config : Vhost -> begin
  10     dns (dnsA host (ip_of_node (web_node_to_node n)));
  11
  12     vhost host where
  13       WebPlaces = [web_place_default n]
  14     with
  15       config
  16     end
  17   end;
  18
  19 val web = webAt web_node;
  20
  21 val webAtIp =
  22   \ ip : (your_ip) ->
  23   \ host : (host) ->
  24   \\ config : Vhost -> begin
  25     dns (dnsA host (your_ip_to_ip ip));
  26
  27     vhost host where
  28       WebPlaces = [web_place web_node ip]
  29     with
  30       config
  31     end
  32   end;
  33
  34 val addDefaultAlias = begin
  35   mailbox <- Mailbox;
  36   defaultAlias mailbox
  37 end;
  38
  39 val addWww = begin
  40   web "www" with
  41     serverAliasDefault;
  42     www : [Vhost] <- WWW;
  43     www
  44   end
  45 end;
  46
  47 val dom =
  48   \ d : (your_domain) ->
  49   \\ config : Domain ->
  50   domain d with
  51     dns (dnsNS "ns1.hcoop.net");
  52     dns (dnsNS "ns3.hcoop.net");
  53
  54     dns (dnsDefaultA (ip_of_node (web_node_to_node web_node)));
  55
  56     handleMail;
  57     dns (dnsMX 1 "deleuze.hcoop.net");
  58
  59     createWWW : bool <- CreateWWW;
  60     if createWWW then
  61       addWww
  62     else
  63       Skip
  64     end;
  65
  66     defAl : bool <- DefaultAlias;
  67     if defAl then
  68       addDefaultAlias
  69     else
  70       Skip
  71     end;
  72
  73     config
  74   end;
  75
  76 val nameserver = \host -> dns (dnsNS host);
  77 val dnsIP = \from -> \to -> dns (dnsA from to);
  78 val dnsIPv6 = \from -> \to -> dns (dnsAAAA from to);
  79 val dnsMail = \num -> \host -> dns (dnsMX num host);
  80 val dnsAlias = \from -> \to -> dns (dnsCNAME from to);
  81 val dnsDefault = \to -> dns (dnsDefaultA to);
  82 val dnsDefaultv6 = \to -> dns (dnsDefaultAAAA to);
  83 val dnsText = \from -> \to -> dns (dnsTXT from to);
  84 val dnsDefaultText = \to -> dns (dnsDefaultTXT to);