aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/mkConfig.dhall
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/mkConfig.dhall')
-rw-r--r--dhall/mkConfig.dhall84
1 files changed, 41 insertions, 43 deletions
diff --git a/dhall/mkConfig.dhall b/dhall/mkConfig.dhall
index bd382de..37b029a 100644
--- a/dhall/mkConfig.dhall
+++ b/dhall/mkConfig.dhall
@@ -1,45 +1,43 @@
1let Config = ./Config.dhall 1let Config = ./Config.dhall
2 2
3in let Vault = ./Vault.dhall 3let Vault = ./Vault.dhall
4 4
5 in let Addon = ./addon/Addon.dhall 5let Addon = ./addon/Addon.dhall
6 6
7 in let Environment = ./environment/Environment.dhall 7let nonifyEmpty =
8 8 λ(opt : Optional Text)
9 in let nonifyEmpty = 9 → Optional/fold Text opt Text (λ(x : Text) → x) "None"
10 λ(opt : Optional Text) 10
11 → Optional/fold Text opt Text (λ(x : Text) → x) "None" 11in λ(vault : Vault)
12 12 → λ(app : Text)
13 in λ(vault : Vault) 13 → λ(organization : Text)
14 → λ(app : Text) 14 → λ(entryPoint : Optional Text)
15 → λ(organization : Text) 15 → λ(metrics : Bool)
16 → λ(entryPoint : Optional Text) 16 → λ(syslogServer : Optional Text)
17 → λ(metrics : Bool) 17 → λ(domain : Optional Text)
18 → λ(syslogServer : Optional Text) 18 → λ(tasksFile : Optional Text)
19 → λ(domain : Optional Text) 19 → λ(addons : List Addon)
20 → λ(tasksFile : Optional Text) 20 → { clever_app =
21 → λ(addons : List Addon) 21 app
22 → { clever_app = 22 , clever_orga =
23 app 23 organization
24 , clever_orga = 24 , clever_secret =
25 organization 25 vault.secret
26 , clever_secret = 26 , clever_token =
27 vault.secret 27 vault.token
28 , clever_token = 28 , clever_syslog_server =
29 vault.token 29 nonifyEmpty syslogServer
30 , clever_syslog_server = 30 , clever_domain =
31 nonifyEmpty syslogServer 31 nonifyEmpty domain
32 , clever_domain = 32 , clever_app_tasks_file =
33 nonifyEmpty domain 33 nonifyEmpty tasksFile
34 , clever_app_tasks_file = 34 , clever_haskell_entry_point =
35 nonifyEmpty tasksFile 35 nonifyEmpty entryPoint
36 , clever_haskell_entry_point = 36 , clever_metrics =
37 nonifyEmpty entryPoint 37 metrics
38 , clever_metrics = 38 , clever_addons =
39 metrics 39 addons
40 , clever_addons = 40 , clever_env =
41 addons 41 {=}
42 , clever_env = 42 }
43 { FORCE_HTTPS = True } 43 : Config {}
44 }
45 : Config Environment