diff options
Diffstat (limited to 'dhall/ServiceDependency.dhall')
-rw-r--r-- | dhall/ServiceDependency.dhall | 9 |
1 files changed, 9 insertions, 0 deletions
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 } | ||