aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/server/package.dhall
diff options
context:
space:
mode:
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 }