aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall
diff options
context:
space:
mode:
Diffstat (limited to 'dhall')
-rw-r--r--dhall/Addon.dhall5
1 files changed, 4 insertions, 1 deletions
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 =
2 < Postgresql : { name : Text, env_prefix : Text } 2 < Postgresql : { name : Text, env_prefix : Text }
3 | Mysql : { name : Text, env_prefix : Text } 3 | Mysql : { name : Text, env_prefix : Text }
4 | Redis : { name : Text, env_prefix : Text } 4 | Redis : { name : Text, env_prefix : Text }
5 | MongoDB : { name : Text, env_prefix : Text }
5 > 6 >
6 7
7let postgresql = 8let postgresql =
@@ -11,4 +12,6 @@ let mysql = Addon.Mysql { name = "mysql", env_prefix = "MYSQL_ADDON" }
11 12
12let redis = Addon.Redis { name = "redis", env_prefix = "REDIS" } 13let redis = Addon.Redis { name = "redis", env_prefix = "REDIS" }
13 14
14in { Type = Addon, postgresql = postgresql, mysql = mysql, redis = redis } 15let mongodb = Addon.MongoDB { name = "mongodb", env_prefix = "MONGODB_ADDON" }
16
17in { Type = Addon, postgresql, mysql, redis, mongodb }