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