diff options
author | paulrbr-fl <43074087+paulrbr-fl@users.noreply.github.com> | 2020-12-08 11:41:22 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-08 11:41:22 +0100 |
commit | e38cc06337f74c4ab841e09e4be254ddbf3faab7 (patch) | |
tree | 1d6bc1899aa8749abf2cfac21c2fe590294950d9 /dhall | |
parent | b731b96649a95825576060e8821e247b99aa8f2d (diff) | |
parent | 4c9962dd07f4249fa013dcafc3bc6ae9c8d12742 (diff) | |
download | ansible-clever-e38cc06337f74c4ab841e09e4be254ddbf3faab7.tar.gz ansible-clever-e38cc06337f74c4ab841e09e4be254ddbf3faab7.tar.zst ansible-clever-e38cc06337f74c4ab841e09e4be254ddbf3faab7.zip |
Merge pull request #78 from paulrbr-fl/add-mongo-addonv2.9
dhall: Add the MongoDB addon type to the Addon sum type
Diffstat (limited to 'dhall')
-rw-r--r-- | dhall/Addon.dhall | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/dhall/Addon.dhall b/dhall/Addon.dhall index b7ab958..4eb0613 100644 --- a/dhall/Addon.dhall +++ b/dhall/Addon.dhall | |||
@@ -2,6 +2,7 @@ let Addon = | |||
2 | < Postgresql : { name : Text, env_prefix : Text } | 2 | < Postgresql : { name : Text, env_prefix : Text } |
3 | | Mysql : { name : Text, env_prefix : Text } | 3 | | Mysql : { name : Text, env_prefix : Text } |
4 | | Redis : { name : Text, env_prefix : Text } | 4 | | Redis : { name : Text, env_prefix : Text } |
5 | | MongoDB : { name : Text, env_prefix : Text } | ||
5 | > | 6 | > |
6 | 7 | ||
7 | let postgresql = | 8 | let postgresql = |
@@ -11,4 +12,6 @@ let mysql = Addon.Mysql { name = "mysql", env_prefix = "MYSQL_ADDON" } | |||
11 | 12 | ||
12 | let redis = Addon.Redis { name = "redis", env_prefix = "REDIS" } | 13 | let redis = Addon.Redis { name = "redis", env_prefix = "REDIS" } |
13 | 14 | ||
14 | in { Type = Addon, postgresql = postgresql, mysql = mysql, redis = redis } | 15 | let mongodb = Addon.MongoDB { name = "mongodb", env_prefix = "MONGODB_ADDON" } |
16 | |||
17 | in { Type = Addon, postgresql, mysql, redis, mongodb } | ||