diff options
Diffstat (limited to 'dhall/server/package.dhall')
-rw-r--r-- | dhall/server/package.dhall | 21 |
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 @@ | |||
1 | let Service = ./service/package.dhall | ||
2 | |||
3 | let Server = | ||
4 | { kong_app_admin_url : Text | ||
5 | , kong_app_admin_apikey : Text | ||
6 | , services : List Service.Type | ||
7 | } | ||
8 | |||
9 | let Vault = ./../Vault.dhall | ||
10 | |||
11 | let 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 | |||
21 | in { Service = Service, Type = Server, mkServer = mkServer } | ||