diff options
Diffstat (limited to 'dhall')
-rw-r--r-- | dhall/Config.dhall | 4 | ||||
-rw-r--r-- | dhall/ServiceDependency.dhall | 9 | ||||
-rw-r--r-- | dhall/package.dhall | 6 |
3 files changed, 18 insertions, 1 deletions
diff --git a/dhall/Config.dhall b/dhall/Config.dhall index 9e46679..1e0f4ae 100644 --- a/dhall/Config.dhall +++ b/dhall/Config.dhall | |||
@@ -1,5 +1,7 @@ | |||
1 | let Addon = (./Addon.dhall).Type | 1 | let Addon = (./Addon.dhall).Type |
2 | 2 | ||
3 | let ServiceDependency = (./ServiceDependency.dhall).Type | ||
4 | |||
3 | let Vault = ./Vault.dhall | 5 | let Vault = ./Vault.dhall |
4 | 6 | ||
5 | let FixedOrRange = | 7 | let FixedOrRange = |
@@ -28,6 +30,7 @@ let Config = | |||
28 | , clever_haskell_entry_point : Optional Text | 30 | , clever_haskell_entry_point : Optional Text |
29 | , clever_disable_metrics : Bool | 31 | , clever_disable_metrics : Bool |
30 | , clever_addons : List Addon | 32 | , clever_addons : List Addon |
33 | , clever_service_dependencies : List ServiceDependency | ||
31 | , clever_env : Environment | 34 | , clever_env : Environment |
32 | , clever_build_flavor : Optional Text | 35 | , clever_build_flavor : Optional Text |
33 | , clever_scaling : Optional ScalingParameters | 36 | , clever_scaling : Optional ScalingParameters |
@@ -48,6 +51,7 @@ let mkConfig = | |||
48 | , clever_haskell_entry_point = None Text | 51 | , clever_haskell_entry_point = None Text |
49 | , clever_disable_metrics = False | 52 | , clever_disable_metrics = False |
50 | , clever_addons = [] : List Addon | 53 | , clever_addons = [] : List Addon |
54 | , clever_service_dependencies = [] : List ServiceDependency | ||
51 | , clever_env = {=} | 55 | , clever_env = {=} |
52 | , clever_build_flavor = None Text | 56 | , clever_build_flavor = None Text |
53 | , clever_scaling = None ScalingParameters | 57 | , clever_scaling = None ScalingParameters |
diff --git a/dhall/ServiceDependency.dhall b/dhall/ServiceDependency.dhall new file mode 100644 index 0000000..9cad9b4 --- /dev/null +++ b/dhall/ServiceDependency.dhall | |||
@@ -0,0 +1,9 @@ | |||
1 | let ServiceDependency = | ||
2 | < Addon : { addon_id : Text } | Application : { app_id : Text } > | ||
3 | |||
4 | let addon = λ(addon_id : Text) → ServiceDependency.Addon { addon_id = addon_id } | ||
5 | |||
6 | let application = | ||
7 | λ(app_id : Text) → ServiceDependency.Application { app_id = app_id } | ||
8 | |||
9 | in { Type = ServiceDependency, addon = addon, application = application } | ||
diff --git a/dhall/package.dhall b/dhall/package.dhall index c653ddb..c430b44 100644 --- a/dhall/package.dhall +++ b/dhall/package.dhall | |||
@@ -1 +1,5 @@ | |||
1 | { Addon = ./Addon.dhall, Config = ./Config.dhall, Vault = ./Vault.dhall } | 1 | { Addon = ./Addon.dhall |
2 | , ServiceDependency = ./ServiceDependency.dhall | ||
3 | , Config = ./Config.dhall | ||
4 | , Vault = ./Vault.dhall | ||
5 | } | ||