aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--dhall/Addon.dhall12
1 files changed, 10 insertions, 2 deletions
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 @@
1let Addon = < Postgresql : { name : Text, env_prefix : Text } > 1let Addon =
2 < Postgresql : { name : Text, env_prefix : Text }
3 | Mysql : { name : Text, env_prefix : Text }
4 | Redis : { name : Text, env_prefix : Text }
5 >
2 6
3let postgresql = 7let postgresql =
4 Addon.Postgresql { name = "pg", env_prefix = "POSTGRESQL_ADDON" } 8 Addon.Postgresql { name = "pg", env_prefix = "POSTGRESQL_ADDON" }
5 9
6in { Type = Addon, postgresql = postgresql } 10let mysql = Addon.Mysql { name = "mysql", env_prefix = "MYSQL_ADDON" }
11
12let redis = Addon.Redis { name = "redis", env_prefix = "REDIS" }
13
14in { Type = Addon, postgresql = postgresql, mysql = mysql, redis = redis }