From 50a9e710f9cff8be9d85d7161bb454a46c3f5734 Mon Sep 17 00:00:00 2001
From: Hussein Ait-Lahcen <hussein.ait-lahcen@fretlink.com>
Date: Mon, 19 Nov 2018 15:50:51 +0100
Subject: add dhall interface

---
 dhall/mkConfig.dhall | 43 +++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100644 dhall/mkConfig.dhall

(limited to 'dhall/mkConfig.dhall')

diff --git a/dhall/mkConfig.dhall b/dhall/mkConfig.dhall
new file mode 100644
index 0000000..a904332
--- /dev/null
+++ b/dhall/mkConfig.dhall
@@ -0,0 +1,43 @@
+    let Config = ./Config.dhall
+
+in  let Vault = ./Vault.dhall
+
+in  let Addon = ./addon/Addon.dhall
+
+in  let Environment = ./environment/Environment.dhall
+
+in  let nonifyEmpty =
+            λ(opt : Optional Text)
+          → Optional/fold Text opt Text (λ(x : Text) → x) "None"
+
+in    λ(vault : Vault)
+    → λ(app : Text)
+    → λ(entryPoint : Text)
+    → λ(syslogServer : Optional Text)
+    → λ(domain : Optional Text)
+    → λ(tasksFile : Optional Text)
+    → λ(addons : List Addon)
+    →   { clever_app =
+            app
+        , clever_orga =
+            vault.organization
+        , clever_secret =
+            vault.secret
+        , clever_token =
+            vault.token
+        , clever_syslog_server =
+            nonifyEmpty syslogServer
+        , clever_domain =
+            nonifyEmpty domain
+        , clever_app_tasks_file =
+            nonifyEmpty tasksFile
+        , clever_entry_point =
+            entryPoint
+        , clever_metrics =
+            True
+        , clever_addons =
+            addons
+        , clever_env =
+            { FORCE_HTTPS = True }
+        }
+      : Config Environment
-- 
cgit v1.2.3


From 8b59c20ae4812fe2729d8fb6fb8b12a02a305b4f Mon Sep 17 00:00:00 2001
From: Hussein Ait-Lahcen <hussein.ait-lahcen@fretlink.com>
Date: Mon, 19 Nov 2018 18:57:33 +0100
Subject: add travis ci step for typechecking dhall

---
 dhall/mkConfig.dhall | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'dhall/mkConfig.dhall')

diff --git a/dhall/mkConfig.dhall b/dhall/mkConfig.dhall
index a904332..5040f1c 100644
--- a/dhall/mkConfig.dhall
+++ b/dhall/mkConfig.dhall
@@ -13,6 +13,7 @@ in  let nonifyEmpty =
 in    λ(vault : Vault)
     → λ(app : Text)
     → λ(entryPoint : Text)
+    → λ(metrics : Bool)
     → λ(syslogServer : Optional Text)
     → λ(domain : Optional Text)
     → λ(tasksFile : Optional Text)
@@ -34,7 +35,7 @@ in    λ(vault : Vault)
         , clever_entry_point =
             entryPoint
         , clever_metrics =
-            True
+            metrics
         , clever_addons =
             addons
         , clever_env =
-- 
cgit v1.2.3