From 117a573db72d925da7161fb9ee340800581ec673 Mon Sep 17 00:00:00 2001
From: Paul Bonaud <paul.bonaud@fretlink.com>
Date: Tue, 8 Dec 2020 11:15:30 +0100
Subject: dhall: Add the MongoDB addon type to the Addon sum type

---
 dhall/Addon.dhall | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/dhall/Addon.dhall b/dhall/Addon.dhall
index b7ab958..4eb0613 100644
--- a/dhall/Addon.dhall
+++ b/dhall/Addon.dhall
@@ -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 }
-- 
cgit v1.2.3