diff options
Diffstat (limited to 'dhall/mkConfig.dhall')
-rw-r--r-- | dhall/mkConfig.dhall | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/dhall/mkConfig.dhall b/dhall/mkConfig.dhall deleted file mode 100644 index d2ec034..0000000 --- a/dhall/mkConfig.dhall +++ /dev/null | |||
@@ -1,33 +0,0 @@ | |||
1 | let Config = ./Config.dhall | ||
2 | |||
3 | let Vault = ./Vault.dhall | ||
4 | |||
5 | let Addon = ./addon/Addon.dhall | ||
6 | |||
7 | in λ(vault : Vault) | ||
8 | → λ(app : Text) | ||
9 | → λ(organization : Text) | ||
10 | → { clever_app = | ||
11 | app | ||
12 | , clever_orga = | ||
13 | organization | ||
14 | , clever_secret = | ||
15 | vault.secret | ||
16 | , clever_token = | ||
17 | vault.token | ||
18 | , clever_syslog_server = | ||
19 | None Text | ||
20 | , clever_domain = | ||
21 | None Text | ||
22 | , clever_app_tasks_file = | ||
23 | None Text | ||
24 | , clever_haskell_entry_point = | ||
25 | None Text | ||
26 | , clever_disable_metrics = | ||
27 | False | ||
28 | , clever_addons = | ||
29 | [] : List Addon | ||
30 | , clever_env = | ||
31 | {=} | ||
32 | } | ||
33 | : Config {} | ||