config(dhall): adding redis and mysql addon types

diff --git a/dhall/Addon.dhall b/dhall/Addon.dhall
index 76d2c80b44105783e99c135b8cc9e19ea09cf2e0..b7ab9581191e743f43aacb1144f714175375176b 100644 (file)
--- 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 }