diff options
Diffstat (limited to 'dhall')
-rw-r--r-- | dhall/Config.dhall | 10 | ||||
-rw-r--r-- | dhall/mkConfig.dhall | 12 |
2 files changed, 9 insertions, 13 deletions
diff --git a/dhall/Config.dhall b/dhall/Config.dhall index db063b7..c095403 100644 --- a/dhall/Config.dhall +++ b/dhall/Config.dhall | |||
@@ -10,17 +10,17 @@ in λ(Environment : Type) | |||
10 | , clever_token : | 10 | , clever_token : |
11 | Text | 11 | Text |
12 | , clever_syslog_server : | 12 | , clever_syslog_server : |
13 | Text | 13 | Optional Text |
14 | , clever_domain : | 14 | , clever_domain : |
15 | Text | 15 | Optional Text |
16 | , clever_app_tasks_file : | 16 | , clever_app_tasks_file : |
17 | Text | 17 | Optional Text |
18 | , clever_haskell_entry_point : | 18 | , clever_haskell_entry_point : |
19 | Text | 19 | Optional Text |
20 | , clever_metrics : | 20 | , clever_metrics : |
21 | Bool | 21 | Bool |
22 | , clever_addons : | 22 | , clever_addons : |
23 | List Addon | 23 | List Addon |
24 | , clever_env : | 24 | , clever_env : |
25 | Environment | 25 | Environment |
26 | } \ No newline at end of file | 26 | } |
diff --git a/dhall/mkConfig.dhall b/dhall/mkConfig.dhall index 37b029a..ae84b21 100644 --- a/dhall/mkConfig.dhall +++ b/dhall/mkConfig.dhall | |||
@@ -4,10 +4,6 @@ let Vault = ./Vault.dhall | |||
4 | 4 | ||
5 | let Addon = ./addon/Addon.dhall | 5 | let Addon = ./addon/Addon.dhall |
6 | 6 | ||
7 | let nonifyEmpty = | ||
8 | λ(opt : Optional Text) | ||
9 | → Optional/fold Text opt Text (λ(x : Text) → x) "None" | ||
10 | |||
11 | in λ(vault : Vault) | 7 | in λ(vault : Vault) |
12 | → λ(app : Text) | 8 | → λ(app : Text) |
13 | → λ(organization : Text) | 9 | → λ(organization : Text) |
@@ -26,13 +22,13 @@ in λ(vault : Vault) | |||
26 | , clever_token = | 22 | , clever_token = |
27 | vault.token | 23 | vault.token |
28 | , clever_syslog_server = | 24 | , clever_syslog_server = |
29 | nonifyEmpty syslogServer | 25 | syslogServer |
30 | , clever_domain = | 26 | , clever_domain = |
31 | nonifyEmpty domain | 27 | domain |
32 | , clever_app_tasks_file = | 28 | , clever_app_tasks_file = |
33 | nonifyEmpty tasksFile | 29 | tasksFile |
34 | , clever_haskell_entry_point = | 30 | , clever_haskell_entry_point = |
35 | nonifyEmpty entryPoint | 31 | entryPoint |
36 | , clever_metrics = | 32 | , clever_metrics = |
37 | metrics | 33 | metrics |
38 | , clever_addons = | 34 | , clever_addons = |