[github/fretlink/ansible-clever.git] / dhall / Addon.dhall

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 =
      Addon.Postgresql { name = "pg", env_prefix = "POSTGRESQL_ADDON" }

let mysql = Addon.Mysql { name = "mysql", env_prefix = "MYSQL_ADDON" }

let redis = Addon.Redis { name = "redis", env_prefix = "REDIS" }

let mongodb = Addon.MongoDB { name = "mongodb", env_prefix = "MONGODB_ADDON" }

in  { Type = Addon, postgresql, mysql, redis, mongodb }
Commit	Line	Data
871d79c1 PB	1	let Addon =
	2	< Postgresql : { name : Text, env_prefix : Text }
	3	\| Mysql : { name : Text, env_prefix : Text }
	4	\| Redis : { name : Text, env_prefix : Text }
117a573d	5	\| MongoDB : { name : Text, env_prefix : Text }
871d79c1	6	>
2acb3d4f CD	7
	8	let postgresql =
	9	Addon.Postgresql { name = "pg", env_prefix = "POSTGRESQL_ADDON" }
	10
871d79c1 PB	11	let mysql = Addon.Mysql { name = "mysql", env_prefix = "MYSQL_ADDON" }
	12
	13	let redis = Addon.Redis { name = "redis", env_prefix = "REDIS" }
	14
117a573d PB	15	let mongodb = Addon.MongoDB { name = "mongodb", env_prefix = "MONGODB_ADDON" }
	16
	17	in { Type = Addon, postgresql, mysql, redis, mongodb }