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 /dhall/Addon.dhall | |
parent | df3a17db216aea9c7fbb86b7f6fd8c31975dd457 (diff) | |
parent | 871d79c17a7fe50f4f39aca72497973608c1f0ee (diff) | |
download | ansible-clever-13602abcc2f50d0ad5b3eff47e5719bfa8b77ecd.tar.gz ansible-clever-13602abcc2f50d0ad5b3eff47e5719bfa8b77ecd.tar.zst ansible-clever-13602abcc2f50d0ad5b3eff47e5719bfa8b77ecd.zip |
Merge pull request #59 from paulrbr-fl/add-dhall-types-addonsv2.2
config(dhall): adding redis and mysql addon types
Diffstat (limited to 'dhall/Addon.dhall')
-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 } | ||