aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/mkConfig.dhall
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/mkConfig.dhall')
-rw-r--r--dhall/mkConfig.dhall33
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 @@
1let Config = ./Config.dhall
2
3let Vault = ./Vault.dhall
4
5let Addon = ./addon/Addon.dhall
6
7in λ(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 {}