From: Paul Bonaud <paul.bonaud@fretlink.com>
Date: Mon, 23 Mar 2020 16:45:15 +0000 (+0100)
Subject: config(dhall): adding redis and mysql addon types
X-Git-Tag: v2.2^2
X-Git-Url: https://git.immae.eu/?a=commitdiff_plain;h=refs%2Fpull%2F59%2Fhead;p=github%2Ffretlink%2Fansible-clever.git

config(dhall): adding redis and mysql addon types
---

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 }