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/Config.dhall | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 dhall/Config.dhall

(limited to 'dhall/Config.dhall')

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
+      }
-- 
cgit v1.2.3