]> git.immae.eu Git - github/fretlink/ansible-clever.git/commitdiff
dhall: Add the MongoDB addon type to the Addon sum type
authorPaul Bonaud <paul.bonaud@fretlink.com>
Tue, 8 Dec 2020 10:15:30 +0000 (11:15 +0100)
committerPaul Bonaud <paul.bonaud@fretlink.com>
Tue, 8 Dec 2020 10:20:34 +0000 (11:20 +0100)
dhall/Addon.dhall

index b7ab9581191e743f43aacb1144f714175375176b..4eb0613db61fb241a5289191a53358195b0021c0 100644 (file)
@@ -2,6 +2,7 @@ let Addon =
       < Postgresql : { name : Text, env_prefix : Text }
       | Mysql : { name : Text, env_prefix : Text }
       | Redis : { name : Text, env_prefix : Text }
+      | MongoDB : { name : Text, env_prefix : Text }
       >
 
 let postgresql =
@@ -11,4 +12,6 @@ let mysql = Addon.Mysql { name = "mysql", env_prefix = "MYSQL_ADDON" }
 
 let redis = Addon.Redis { name = "redis", env_prefix = "REDIS" }
 
-in  { Type = Addon, postgresql = postgresql, mysql = mysql, redis = redis }
+let mongodb = Addon.MongoDB { name = "mongodb", env_prefix = "MONGODB_ADDON" }
+
+in  { Type = Addon, postgresql, mysql, redis, mongodb }