diff options
| author | Clément Delafargue <39330590+clementd-fretlink@users.noreply.github.com> | 2019-07-01 17:03:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-01 17:03:31 +0200 |
| commit | 587357dd2edae36fc8a1632c61a62801af31f49f (patch) | |
| tree | 37659b695b0fade0cdc797a436184580e663017b /dhall/mkConfig.dhall | |
| parent | c6f248b4041ad25593862e1a3b7c58be17c0a094 (diff) | |
| parent | 7b4cc6d8d6f2a4e327111d78b0ef1973faf892c1 (diff) | |
| download | ansible-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.dhall | 69 |
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 @@ | |||
| 1 | let Config = ./Config.dhall | 1 | let Config = ./Config.dhall |
| 2 | 2 | ||
| 3 | in let Vault = ./Vault.dhall | 3 | let Vault = ./Vault.dhall |
| 4 | 4 | ||
| 5 | in let Addon = ./addon/Addon.dhall | 5 | let Addon = ./addon/Addon.dhall |
| 6 | 6 | ||
| 7 | in let Environment = ./environment/Environment.dhall | 7 | in λ(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 | ||