aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/mkConfig.dhall
diff options
context:
space:
mode:
authorClément Delafargue <39330590+clementd-fretlink@users.noreply.github.com>2019-07-01 17:03:31 +0200
committerGitHub <noreply@github.com>2019-07-01 17:03:31 +0200
commit587357dd2edae36fc8a1632c61a62801af31f49f (patch)
tree37659b695b0fade0cdc797a436184580e663017b /dhall/mkConfig.dhall
parentc6f248b4041ad25593862e1a3b7c58be17c0a094 (diff)
parent7b4cc6d8d6f2a4e327111d78b0ef1973faf892c1 (diff)
downloadansible-clever-587357dd2edae36fc8a1632c61a62801af31f49f.tar.gz
ansible-clever-587357dd2edae36fc8a1632c61a62801af31f49f.tar.zst
ansible-clever-587357dd2edae36fc8a1632c61a62801af31f49f.zip
Merge pull request #45 from clementd-fretlink/new-clever-vault
Clean up `dhall` type definitions
Diffstat (limited to 'dhall/mkConfig.dhall')
-rw-r--r--dhall/mkConfig.dhall69
1 files changed, 29 insertions, 40 deletions
diff --git a/dhall/mkConfig.dhall b/dhall/mkConfig.dhall
index cf64bef..413ea5a 100644
--- a/dhall/mkConfig.dhall
+++ b/dhall/mkConfig.dhall
@@ -1,44 +1,33 @@
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 7in λ(vault : Vault)
8 8 → λ(app : Text)
9 in let nonifyEmpty = 9 → λ(organization : Text)
10 λ(opt : Optional Text) 10 → { clever_app =
11 → Optional/fold Text opt Text (λ(x : Text) → x) "None" 11 app
12 12 , clever_orga =
13 in λ(vault : Vault) 13 organization
14 → λ(app : Text) 14 , clever_secret =
15 → λ(entryPoint : Optional Text) 15 vault.secret
16 → λ(metrics : Bool) 16 , clever_token =
17 → λ(syslogServer : Optional Text) 17 vault.token
18 → λ(domain : Optional Text) 18 , clever_syslog_server =
19 → λ(tasksFile : Optional Text) 19 None Text
20 → λ(addons : List Addon) 20 , clever_domain =
21 → { clever_app = 21 None Text
22 app 22 , clever_app_tasks_file =
23 , clever_orga = 23 None Text
24 vault.organization 24 , clever_haskell_entry_point =
25 , clever_secret = 25 None Text
26 vault.secret 26 , clever_metrics =
27 , clever_token = 27 True
28 vault.token 28 , clever_addons =
29 , clever_syslog_server = 29 [] : List Addon
30 nonifyEmpty syslogServer 30 , clever_env =
31 , clever_domain = 31 {=}
32 nonifyEmpty domain 32 }
33 , clever_app_tasks_file = 33 : Config {}
34 nonifyEmpty tasksFile
35 , clever_haskell_entry_point =
36 nonifyEmpty entryPoint
37 , clever_metrics =
38 metrics
39 , clever_addons =
40 addons
41 , clever_env =
42 { FORCE_HTTPS = True }
43 }
44 : Config Environment \ No newline at end of file