{{HCoop-specific stuff}}

extern type homedir_path;
{{Some relative subdirectory of your home directory}}

extern val home : homedir_path -> your_path;
{{Shortcut to denote a subdirectory of your home directory}}

extern val homeS : no_spaces -> no_spaces;
{{Use this version when it doesn't matter if the output is a real filesystem
  path.}}

val mailmanHcoop = mailmanWebHost "lists.hcoop.net";
{{Configure your domain to have its Mailman mailing lists served on the web at
  lists.hcoop.net.}}

(* Peer 1 *)
val deleuze_ip : (ip) = "69.90.123.67";
val mire_ip : (ip) = "69.90.123.68";
val navajos_ip : (ip) = "69.90.123.70";
val bog_ip : (ip) = "69.90.123.72";
val mccarthy_ip : (ip) = "69.90.123.73";
val hopper_ip : (ip) = "69.90.123.74";
val fritz_ip : (ip) = "69.90.123.75";

(* Linode *)
val outpost_ip : (ip) = "151.236.216.192";
val outpost_ipv6 : (ipv6) = "2a01:7e00::f03c:91ff:fe70:7c62";

(* Digital Ocean *)
val gibran_ip : (ip) = "142.93.177.82";
val gibran_private_ip : (ip) = "10.132.5.78";
val gibran_ipv6 : (ipv6) = "2604:a880:800:c1::99:5001";

val lovelace_ip : (ip) = "68.183.58.241";
val lovelace_private_ip : (ip) = "10.132.27.211";
val lovelace_ipv6 : (ipv6)  = "2604:a880:800:c1::c2:7001";

val marsh_ip : (ip) = "45.55.52.66";
val marsh_private_ip : (ip) = "10.132.96.182";
val marsh_ipv6 : (ipv6) = "2604:a880:800:a1::13a3:f001";

val minsky_ip : (ip) = "104.248.1.95";
val minsky_private_ip : (ip) = "10.132.154.5";
val minsky_ipv6 : (ipv6) = "2604:a880:800:c1::b1:5001";

val shelob_ip : (ip) = "68.183.54.165";
val shelob_private_ip : (ip) = "10.132.7.249";
val shelob_ipv6 : (ipv6) = "2604:a880:800:c1::d:3001";

val simpleWeb = \host -> \docroot -> web host where
  DocumentRoot = home docroot
with end;