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, 0 insertions, 17 deletions
diff --git a/dhall/server/mkServer.dhall b/dhall/server/mkServer.dhall
deleted file mode 100644
index f02055b..0000000
--- a/dhall/server/mkServer.dhall
+++ /dev/null
@@ -1,17 +0,0 @@
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