diff options
Diffstat (limited to 'dhall/server/mkServer.dhall')
-rw-r--r-- | dhall/server/mkServer.dhall | 17 |
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 | |||
3 | in let Service = ./service/Service.dhall | ||
4 | |||
5 | in let Vault = ./../Vault.dhall | ||
6 | |||
7 | in λ(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 | ||