aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/mkConfig.dhall
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/mkConfig.dhall')
-rw-r--r--dhall/mkConfig.dhall18
1 files changed, 6 insertions, 12 deletions
diff --git a/dhall/mkConfig.dhall b/dhall/mkConfig.dhall
index ae84b21..413ea5a 100644
--- a/dhall/mkConfig.dhall
+++ b/dhall/mkConfig.dhall
@@ -7,12 +7,6 @@ let Addon = ./addon/Addon.dhall
7in λ(vault : Vault) 7in λ(vault : Vault)
8 → λ(app : Text) 8 → λ(app : Text)
9 → λ(organization : Text) 9 → λ(organization : Text)
10 → λ(entryPoint : Optional Text)
11 → λ(metrics : Bool)
12 → λ(syslogServer : Optional Text)
13 → λ(domain : Optional Text)
14 → λ(tasksFile : Optional Text)
15 → λ(addons : List Addon)
16 → { clever_app = 10 → { clever_app =
17 app 11 app
18 , clever_orga = 12 , clever_orga =
@@ -22,17 +16,17 @@ in λ(vault : Vault)
22 , clever_token = 16 , clever_token =
23 vault.token 17 vault.token
24 , clever_syslog_server = 18 , clever_syslog_server =
25 syslogServer 19 None Text
26 , clever_domain = 20 , clever_domain =
27 domain 21 None Text
28 , clever_app_tasks_file = 22 , clever_app_tasks_file =
29 tasksFile 23 None Text
30 , clever_haskell_entry_point = 24 , clever_haskell_entry_point =
31 entryPoint 25 None Text
32 , clever_metrics = 26 , clever_metrics =
33 metrics 27 True
34 , clever_addons = 28 , clever_addons =
35 addons 29 [] : List Addon
36 , clever_env = 30 , clever_env =
37 {=} 31 {=}
38 } 32 }