add dhall interface

1 files changed, 26 insertions, 0 deletions

diff --git a/dhall/Config.dhall b/dhall/Config.dhall
new file mode 100644
index 0000000..01329a8
--- /dev/null
+++ b/dhall/Config.dhall
@@ -0,0 +1,26 @@
+    let Addon = ./addon/Addon.dhall
+
+in    λ(Environment : Type)
+    → { clever_app :
+          Text
+      , clever_orga :
+          Text
+      , clever_secret :
+          Text
+      , clever_token :
+          Text
+      , clever_syslog_server :
+          Text
+      , clever_domain :
+          Text
+      , clever_app_tasks_file :
+          Text
+      , clever_entry_point :
+          Text
+      , clever_metrics :
+          Bool
+      , clever_addons :
+          List Addon
+      , clever_env :
+          Environment
+      }