From 871d79c17a7fe50f4f39aca72497973608c1f0ee Mon Sep 17 00:00:00 2001
From: Paul Bonaud <paul.bonaud@fretlink.com>
Date: Mon, 23 Mar 2020 17:45:15 +0100
Subject: config(dhall): adding redis and mysql addon types

---
 dhall/Addon.dhall | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'dhall')

diff --git a/dhall/Addon.dhall b/dhall/Addon.dhall
index 76d2c80..b7ab958 100644
--- 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 }
-- 
cgit v1.2.3