diff options
| author | paulrbr-fl <43074087+paulrbr-fl@users.noreply.github.com> | 2020-03-23 18:09:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-23 18:09:49 +0100 |
| commit | 13602abcc2f50d0ad5b3eff47e5719bfa8b77ecd (patch) | |
| tree | d4a758c9e0270c36351626d249027ab74fae8428 | |
| parent | df3a17db216aea9c7fbb86b7f6fd8c31975dd457 (diff) | |
| parent | 871d79c17a7fe50f4f39aca72497973608c1f0ee (diff) | |
| download | ansible-clever-2.2.tar.gz ansible-clever-2.2.tar.zst ansible-clever-2.2.zip | |
Merge pull request #59 from paulrbr-fl/add-dhall-types-addonsv2.2
config(dhall): adding redis and mysql addon types
| -rw-r--r-- | dhall/Addon.dhall | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/dhall/Addon.dhall b/dhall/Addon.dhall index 76d2c80..b7ab958 100644 --- a/dhall/Addon.dhall +++ b/dhall/Addon.dhall | |||
| @@ -1,6 +1,14 @@ | |||
| 1 | let Addon = < Postgresql : { name : Text, env_prefix : Text } > | 1 | let Addon = |
| 2 | < Postgresql : { name : Text, env_prefix : Text } | ||
| 3 | | Mysql : { name : Text, env_prefix : Text } | ||
| 4 | | Redis : { name : Text, env_prefix : Text } | ||
| 5 | > | ||
| 2 | 6 | ||
| 3 | let postgresql = | 7 | let postgresql = |
| 4 | Addon.Postgresql { name = "pg", env_prefix = "POSTGRESQL_ADDON" } | 8 | Addon.Postgresql { name = "pg", env_prefix = "POSTGRESQL_ADDON" } |
| 5 | 9 | ||
| 6 | in { Type = Addon, postgresql = postgresql } | 10 | let mysql = Addon.Mysql { name = "mysql", env_prefix = "MYSQL_ADDON" } |
| 11 | |||
| 12 | let redis = Addon.Redis { name = "redis", env_prefix = "REDIS" } | ||
| 13 | |||
| 14 | in { Type = Addon, postgresql = postgresql, mysql = mysql, redis = redis } | ||