diff options
| author | Clement Delafargue <clement.delafargue@fretlink.com> | 2019-07-01 16:32:58 +0200 |
|---|---|---|
| committer | Clement Delafargue <clement.delafargue@fretlink.com> | 2019-07-01 16:32:58 +0200 |
| commit | 175b14951e46b4d980839fd719b8b7a64968c073 (patch) | |
| tree | 91ca4cd3fa3ed00eeb5c19ed5c2ebb865ef3a2b4 /dhall/Config.dhall | |
| parent | a8c060229d00306720778c05fe5f53319a8de762 (diff) | |
| download | ansible-clever-175b14951e46b4d980839fd719b8b7a64968c073.tar.gz ansible-clever-175b14951e46b4d980839fd719b8b7a64968c073.tar.zst ansible-clever-175b14951e46b4d980839fd719b8b7a64968c073.zip | |
dhall: expose optional fields as optional values
Instead of `nonifying` them
Diffstat (limited to 'dhall/Config.dhall')
| -rw-r--r-- | dhall/Config.dhall | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/dhall/Config.dhall b/dhall/Config.dhall index db063b7..c095403 100644 --- a/dhall/Config.dhall +++ b/dhall/Config.dhall | |||
| @@ -10,17 +10,17 @@ in λ(Environment : Type) | |||
| 10 | , clever_token : | 10 | , clever_token : |
| 11 | Text | 11 | Text |
| 12 | , clever_syslog_server : | 12 | , clever_syslog_server : |
| 13 | Text | 13 | Optional Text |
| 14 | , clever_domain : | 14 | , clever_domain : |
| 15 | Text | 15 | Optional Text |
| 16 | , clever_app_tasks_file : | 16 | , clever_app_tasks_file : |
| 17 | Text | 17 | Optional Text |
| 18 | , clever_haskell_entry_point : | 18 | , clever_haskell_entry_point : |
| 19 | Text | 19 | Optional Text |
| 20 | , clever_metrics : | 20 | , clever_metrics : |
| 21 | Bool | 21 | Bool |
| 22 | , clever_addons : | 22 | , clever_addons : |
| 23 | List Addon | 23 | List Addon |
| 24 | , clever_env : | 24 | , clever_env : |
| 25 | Environment | 25 | Environment |
| 26 | } \ No newline at end of file | 26 | } |