Merge pull request #59 from paulrbr-fl/add-dhall-types-addons

config(dhall): adding redis and mysql addon types
fretlink · Mar 23, 2020 · 13602ab · 13602ab
2 parents df3a17d + 871d79c
commit 13602ab
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/dhall/Addon.dhall b/dhall/Addon.dhall
@@ -1,6 +1,14 @@
-let Addon = < Postgresql : { name : Text, env_prefix : Text } >
+let Addon =
+      < Postgresql : { name : Text, env_prefix : Text }
+      | Mysql : { name : Text, env_prefix : Text }
+      | Redis : { name : Text, env_prefix : Text }
+      >
 
 let postgresql =
       Addon.Postgresql { name = "pg", env_prefix = "POSTGRESQL_ADDON" }
 
-in  { Type = Addon, postgresql = postgresql }
+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 }