aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/Config.dhall
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/Config.dhall')
-rw-r--r--dhall/Config.dhall26
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 @@
1 let Addon = ./addon/Addon.dhall
2
3in λ(Environment : Type)
4 → { clever_app :
5 Text
6 , clever_orga :
7 Text
8 , clever_secret :
9 Text
10 , clever_token :
11 Text
12 , clever_syslog_server :
13 Text
14 , clever_domain :
15 Text
16 , clever_app_tasks_file :
17 Text
18 , clever_entry_point :
19 Text
20 , clever_metrics :
21 Bool
22 , clever_addons :
23 List Addon
24 , clever_env :
25 Environment
26 }