aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/mkConfig.dhall
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/mkConfig.dhall')
-rw-r--r--dhall/mkConfig.dhall12
1 files changed, 4 insertions, 8 deletions
diff --git a/dhall/mkConfig.dhall b/dhall/mkConfig.dhall
index 37b029a..ae84b21 100644
--- a/dhall/mkConfig.dhall
+++ b/dhall/mkConfig.dhall
@@ -4,10 +4,6 @@ let Vault = ./Vault.dhall
4 4
5let Addon = ./addon/Addon.dhall 5let Addon = ./addon/Addon.dhall
6 6
7let nonifyEmpty =
8 λ(opt : Optional Text)
9 → Optional/fold Text opt Text (λ(x : Text) → x) "None"
10
11in λ(vault : Vault) 7in λ(vault : Vault)
12 → λ(app : Text) 8 → λ(app : Text)
13 → λ(organization : Text) 9 → λ(organization : Text)
@@ -26,13 +22,13 @@ in λ(vault : Vault)
26 , clever_token = 22 , clever_token =
27 vault.token 23 vault.token
28 , clever_syslog_server = 24 , clever_syslog_server =
29 nonifyEmpty syslogServer 25 syslogServer
30 , clever_domain = 26 , clever_domain =
31 nonifyEmpty domain 27 domain
32 , clever_app_tasks_file = 28 , clever_app_tasks_file =
33 nonifyEmpty tasksFile 29 tasksFile
34 , clever_haskell_entry_point = 30 , clever_haskell_entry_point =
35 nonifyEmpty entryPoint 31 entryPoint
36 , clever_metrics = 32 , clever_metrics =
37 metrics 33 metrics
38 , clever_addons = 34 , clever_addons =