diff options
author | Paul Bonaud <paul.bonaud@fretlink.com> | 2020-12-08 11:15:30 +0100 |
---|---|---|
committer | Paul Bonaud <paul.bonaud@fretlink.com> | 2020-12-08 11:20:34 +0100 |
commit | 117a573db72d925da7161fb9ee340800581ec673 (patch) | |
tree | a7f524f5d89802a43631a7b8809a0b3400029502 | |
parent | b731b96649a95825576060e8821e247b99aa8f2d (diff) | |
download | ansible-clever-117a573db72d925da7161fb9ee340800581ec673.tar.gz ansible-clever-117a573db72d925da7161fb9ee340800581ec673.tar.zst ansible-clever-117a573db72d925da7161fb9ee340800581ec673.zip |
dhall: Add the MongoDB addon type to the Addon sum type
-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 } | ||