diff options
| author | Clément Delafargue <39330590+clementd-fretlink@users.noreply.github.com> | 2019-10-07 09:55:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-07 09:55:50 +0200 |
| commit | 027a2fa61a6044b2e967b29195312e4d98a96078 (patch) | |
| tree | d6ffd754b83687e45db23522aa8273218071732e /dhall/server/mkServer.dhall | |
| parent | cfcebcd5f0c7a99ab60de773e67e7ee35e8b0f0a (diff) | |
| parent | 25bf64cbc9a8ed4fef36c15756f9d7f8e96e2d06 (diff) | |
| download | ansible-kong-app-027a2fa61a6044b2e967b29195312e4d98a96078.tar.gz ansible-kong-app-027a2fa61a6044b2e967b29195312e4d98a96078.tar.zst ansible-kong-app-027a2fa61a6044b2e967b29195312e4d98a96078.zip | |
Merge pull request #17 from clementd-fretlink/polykindsv0.20
upgrade dhall to 1.26.1 and merge types and terms
Diffstat (limited to 'dhall/server/mkServer.dhall')
| -rw-r--r-- | dhall/server/mkServer.dhall | 17 |
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 | |||
| 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 | ||