diff options
Diffstat (limited to 'dhall')
| -rw-r--r-- | dhall/environment/Environment.dhall | 1 | ||||
| -rw-r--r-- | dhall/mkConfig.dhall | 84 | ||||
| -rw-r--r-- | dhall/types.dhall | 10 |
3 files changed, 42 insertions, 53 deletions
diff --git a/dhall/environment/Environment.dhall b/dhall/environment/Environment.dhall deleted file mode 100644 index 68514c9..0000000 --- a/dhall/environment/Environment.dhall +++ /dev/null | |||
| @@ -1 +0,0 @@ | |||
| 1 | { FORCE_HTTPS : Bool } | ||
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 @@ | |||
| 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 | let 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" | 11 | in λ(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 | ||
diff --git a/dhall/types.dhall b/dhall/types.dhall index 5e6a81c..ab153d2 100644 --- a/dhall/types.dhall +++ b/dhall/types.dhall | |||
| @@ -1,9 +1 @@ | |||
| 1 | { Vault = | { Vault = ./Vault.dhall, Addon = ./addon/Addon.dhall, Config = ./Config.dhall } | |
| 2 | ./Vault.dhall | ||
| 3 | , Addon = | ||
| 4 | ./addon/Addon.dhall | ||
| 5 | , Environment = | ||
| 6 | ./environment/Environment.dhall | ||
| 7 | , Config = | ||
| 8 | ./Config.dhall | ||
| 9 | } | ||