]> git.immae.eu Git - github/fretlink/ansible-clever.git/blame - dhall/mkConfig.dhall
dhall: expose optional fields as optional values
[github/fretlink/ansible-clever.git] / dhall / mkConfig.dhall
CommitLineData
65b86d1f 1let Config = ./Config.dhall
50a9e710 2
a8c06022
CD
3let Vault = ./Vault.dhall
4
5let Addon = ./addon/Addon.dhall
6
a8c06022
CD
7in λ(vault : Vault)
8 → λ(app : Text)
9 → λ(organization : Text)
10 → λ(entryPoint : Optional Text)
11 → λ(metrics : Bool)
12 → λ(syslogServer : Optional Text)
13 → λ(domain : Optional Text)
14 → λ(tasksFile : Optional Text)
15 → λ(addons : List Addon)
16 → { clever_app =
17 app
18 , clever_orga =
19 organization
20 , clever_secret =
21 vault.secret
22 , clever_token =
23 vault.token
24 , clever_syslog_server =
175b1495 25 syslogServer
a8c06022 26 , clever_domain =
175b1495 27 domain
a8c06022 28 , clever_app_tasks_file =
175b1495 29 tasksFile
a8c06022 30 , clever_haskell_entry_point =
175b1495 31 entryPoint
a8c06022
CD
32 , clever_metrics =
33 metrics
34 , clever_addons =
35 addons
36 , clever_env =
37 {=}
38 }
39 : Config {}