]> git.immae.eu Git - github/fretlink/ansible-clever.git/blob - dhall/mkConfig.dhall
Merge pull request #45 from clementd-fretlink/new-clever-vault
[github/fretlink/ansible-clever.git] / dhall / mkConfig.dhall
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_metrics =
27 True
28 , clever_addons =
29 [] : List Addon
30 , clever_env =
31 {=}
32 }
33 : Config {}