diff options
| author | Clément Delafargue <39330590+clementd-fretlink@users.noreply.github.com> | 2019-07-01 17:03:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-01 17:03:31 +0200 |
| commit | 587357dd2edae36fc8a1632c61a62801af31f49f (patch) | |
| tree | 37659b695b0fade0cdc797a436184580e663017b /dhall/Config.dhall | |
| parent | c6f248b4041ad25593862e1a3b7c58be17c0a094 (diff) | |
| parent | 7b4cc6d8d6f2a4e327111d78b0ef1973faf892c1 (diff) | |
| download | ansible-clever-587357dd2edae36fc8a1632c61a62801af31f49f.tar.gz ansible-clever-587357dd2edae36fc8a1632c61a62801af31f49f.tar.zst ansible-clever-587357dd2edae36fc8a1632c61a62801af31f49f.zip | |
Merge pull request #45 from clementd-fretlink/new-clever-vault
Clean up `dhall` type definitions
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 | } |