diff options
author | Clement Delafargue <clement.delafargue@fretlink.com> | 2019-07-01 16:35:23 +0200 |
---|---|---|
committer | Clement Delafargue <clement.delafargue@fretlink.com> | 2019-07-01 16:35:23 +0200 |
commit | 7b4cc6d8d6f2a4e327111d78b0ef1973faf892c1 (patch) | |
tree | 37659b695b0fade0cdc797a436184580e663017b | |
parent | 175b14951e46b4d980839fd719b8b7a64968c073 (diff) | |
download | ansible-clever-7b4cc6d8d6f2a4e327111d78b0ef1973faf892c1.tar.gz ansible-clever-7b4cc6d8d6f2a4e327111d78b0ef1973faf892c1.tar.zst ansible-clever-7b4cc6d8d6f2a4e327111d78b0ef1973faf892c1.zip |
dhall: remove optional arguments from mkConfig
It was just constructing a record without adding any information. Now
it constructs a record from its mandatory parts. The caller can then
override fields as they please.
-rw-r--r-- | dhall/mkConfig.dhall | 18 |
1 files changed, 6 insertions, 12 deletions
diff --git a/dhall/mkConfig.dhall b/dhall/mkConfig.dhall index ae84b21..413ea5a 100644 --- a/dhall/mkConfig.dhall +++ b/dhall/mkConfig.dhall | |||
@@ -7,12 +7,6 @@ let Addon = ./addon/Addon.dhall | |||
7 | in λ(vault : Vault) | 7 | in λ(vault : Vault) |
8 | → λ(app : Text) | 8 | → λ(app : Text) |
9 | → λ(organization : 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 = | 10 | → { clever_app = |
17 | app | 11 | app |
18 | , clever_orga = | 12 | , clever_orga = |
@@ -22,17 +16,17 @@ in λ(vault : Vault) | |||
22 | , clever_token = | 16 | , clever_token = |
23 | vault.token | 17 | vault.token |
24 | , clever_syslog_server = | 18 | , clever_syslog_server = |
25 | syslogServer | 19 | None Text |
26 | , clever_domain = | 20 | , clever_domain = |
27 | domain | 21 | None Text |
28 | , clever_app_tasks_file = | 22 | , clever_app_tasks_file = |
29 | tasksFile | 23 | None Text |
30 | , clever_haskell_entry_point = | 24 | , clever_haskell_entry_point = |
31 | entryPoint | 25 | None Text |
32 | , clever_metrics = | 26 | , clever_metrics = |
33 | metrics | 27 | True |
34 | , clever_addons = | 28 | , clever_addons = |
35 | addons | 29 | [] : List Addon |
36 | , clever_env = | 30 | , clever_env = |
37 | {=} | 31 | {=} |
38 | } | 32 | } |