aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/Addon.dhall
diff options
context:
space:
mode:
authorpaulrbr-fl <43074087+paulrbr-fl@users.noreply.github.com>2020-12-08 11:41:22 +0100
committerGitHub <noreply@github.com>2020-12-08 11:41:22 +0100
commite38cc06337f74c4ab841e09e4be254ddbf3faab7 (patch)
tree1d6bc1899aa8749abf2cfac21c2fe590294950d9 /dhall/Addon.dhall
parentb731b96649a95825576060e8821e247b99aa8f2d (diff)
parent4c9962dd07f4249fa013dcafc3bc6ae9c8d12742 (diff)
downloadansible-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/Addon.dhall')
-rw-r--r--dhall/Addon.dhall5
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
7let postgresql = 8let postgresql =
@@ -11,4 +12,6 @@ let mysql = Addon.Mysql { name = "mysql", env_prefix = "MYSQL_ADDON" }
11 12
12let redis = Addon.Redis { name = "redis", env_prefix = "REDIS" } 13let redis = Addon.Redis { name = "redis", env_prefix = "REDIS" }
13 14
14in { Type = Addon, postgresql = postgresql, mysql = mysql, redis = redis } 15let mongodb = Addon.MongoDB { name = "mongodb", env_prefix = "MONGODB_ADDON" }
16
17in { Type = Addon, postgresql, mysql, redis, mongodb }