]>
Commit | Line | Data |
---|---|---|
50a9e710 HAL |
1 | let Config = ./Config.dhall |
2 | ||
3 | in let Vault = ./Vault.dhall | |
4 | ||
5 | in let Addon = ./addon/Addon.dhall | |
6 | ||
7 | in let Environment = ./environment/Environment.dhall | |
8 | ||
9 | in let nonifyEmpty = | |
10 | λ(opt : Optional Text) | |
11 | → Optional/fold Text opt Text (λ(x : Text) → x) "None" | |
12 | ||
13 | in λ(vault : Vault) | |
14 | → λ(app : Text) | |
15 | → λ(entryPoint : Text) | |
8b59c20a | 16 | → λ(metrics : Bool) |
50a9e710 HAL |
17 | → λ(syslogServer : Optional Text) |
18 | → λ(domain : Optional Text) | |
19 | → λ(tasksFile : Optional Text) | |
20 | → λ(addons : List Addon) | |
21 | → { clever_app = | |
22 | app | |
23 | , clever_orga = | |
24 | vault.organization | |
25 | , clever_secret = | |
26 | vault.secret | |
27 | , clever_token = | |
28 | vault.token | |
29 | , clever_syslog_server = | |
30 | nonifyEmpty syslogServer | |
31 | , clever_domain = | |
32 | nonifyEmpty domain | |
33 | , clever_app_tasks_file = | |
34 | nonifyEmpty tasksFile | |
35 | , clever_entry_point = | |
36 | entryPoint | |
37 | , clever_metrics = | |
8b59c20a | 38 | metrics |
50a9e710 HAL |
39 | , clever_addons = |
40 | addons | |
41 | , clever_env = | |
42 | { FORCE_HTTPS = True } | |
43 | } | |
44 | : Config Environment |