diff options
| author | Gaëtan <36162164+gaetanfl@users.noreply.github.com> | 2018-11-20 20:32:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-20 20:32:43 +0100 |
| commit | 66401fc939cd73628561d4832c3e219f0b44d8de (patch) | |
| tree | ca5b2bc2ea4c15d91476436ca4376108f5a78d88 /dhall/server/mkServer.dhall | |
| parent | 6bbc5a167fb43110a5b16746c112298f392be2b8 (diff) | |
| parent | 77e27a11c31fee82c2ff30613bc832f5171fa845 (diff) | |
| download | ansible-kong-app-66401fc939cd73628561d4832c3e219f0b44d8de.tar.gz ansible-kong-app-66401fc939cd73628561d4832c3e219f0b44d8de.tar.zst ansible-kong-app-66401fc939cd73628561d4832c3e219f0b44d8de.zip | |
Merge pull request #7 from haitlahcen/dhall-interfacev0.5
add dhall interface
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 | ||