diff options
| author | Hussein Ait-Lahcen <hussein.ait-lahcen@fretlink.com> | 2018-11-19 15:51:21 +0100 |
|---|---|---|
| committer | Hussein Ait-Lahcen <hussein.ait-lahcen@fretlink.com> | 2018-11-20 17:29:11 +0100 |
| commit | 77e27a11c31fee82c2ff30613bc832f5171fa845 (patch) | |
| tree | ca5b2bc2ea4c15d91476436ca4376108f5a78d88 /dhall/server/mkServer.dhall | |
| parent | 6bbc5a167fb43110a5b16746c112298f392be2b8 (diff) | |
| download | ansible-kong-app-77e27a11c31fee82c2ff30613bc832f5171fa845.tar.gz ansible-kong-app-77e27a11c31fee82c2ff30613bc832f5171fa845.tar.zst ansible-kong-app-77e27a11c31fee82c2ff30613bc832f5171fa845.zip | |
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 | ||