aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/server/mkServer.dhall
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/server/mkServer.dhall')
-rw-r--r--dhall/server/mkServer.dhall17
1 files changed, 17 insertions, 0 deletions
diff --git a/dhall/server/mkServer.dhall b/dhall/server/mkServer.dhall
new file mode 100644
index 0000000..f02055b
--- /dev/null
+++ b/dhall/server/mkServer.dhall
@@ -0,0 +1,17 @@
1 let Server = ./Server.dhall
2
3in let Service = ./service/Service.dhall
4
5in let Vault = ./../Vault.dhall
6
7in λ(vault : Vault)
8 → λ(adminUrl : Text)
9 → λ(services : List Service)
10 → { kong_app_admin_url =
11 adminUrl
12 , kong_app_admin_apikey =
13 vault.appAdminApiKey
14 , services =
15 services
16 }
17 : Server