add dhall interface

1 files changed, 43 insertions, 0 deletions

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