aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/server/package.dhall
diff options
context:
space:
mode:
authorClément Delafargue <39330590+clementd-fretlink@users.noreply.github.com>2019-10-07 09:55:50 +0200
committerGitHub <noreply@github.com>2019-10-07 09:55:50 +0200
commit027a2fa61a6044b2e967b29195312e4d98a96078 (patch)
treed6ffd754b83687e45db23522aa8273218071732e /dhall/server/package.dhall
parentcfcebcd5f0c7a99ab60de773e67e7ee35e8b0f0a (diff)
parent25bf64cbc9a8ed4fef36c15756f9d7f8e96e2d06 (diff)
downloadansible-kong-app-027a2fa61a6044b2e967b29195312e4d98a96078.tar.gz
ansible-kong-app-027a2fa61a6044b2e967b29195312e4d98a96078.tar.zst
ansible-kong-app-027a2fa61a6044b2e967b29195312e4d98a96078.zip
Merge pull request #17 from clementd-fretlink/polykindsv0.20
upgrade dhall to 1.26.1 and merge types and terms
Diffstat (limited to 'dhall/server/package.dhall')
-rw-r--r--dhall/server/package.dhall21
1 files changed, 21 insertions, 0 deletions
diff --git a/dhall/server/package.dhall b/dhall/server/package.dhall
new file mode 100644
index 0000000..e9e398c
--- /dev/null
+++ b/dhall/server/package.dhall
@@ -0,0 +1,21 @@
1let Service = ./service/package.dhall
2
3let Server =
4 { kong_app_admin_url : Text
5 , kong_app_admin_apikey : Text
6 , services : List Service.Type
7 }
8
9let Vault = ./../Vault.dhall
10
11let mkServer =
12 λ(vault : Vault)
13 → λ(adminUrl : Text)
14 → λ(services : List Service.Type)
15 → { kong_app_admin_url = adminUrl
16 , kong_app_admin_apikey = vault.appAdminApiKey
17 , services = services
18 }
19 : Server
20
21in { Service = Service, Type = Server, mkServer = mkServer }