]>
Commit | Line | Data |
---|---|---|
65b86d1f | 1 | let Config = ./Config.dhall |
50a9e710 | 2 | |
a8c06022 CD |
3 | let Vault = ./Vault.dhall |
4 | ||
5 | let Addon = ./addon/Addon.dhall | |
6 | ||
a8c06022 CD |
7 | in λ(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 {} |