upgrade dhall to 1.26.1 and merge types and terms

[github/fretlink/ansible-kong-app.git] / dhall / server / mkServer.dhall

diff --git a/dhall/server/mkServer.dhall b/dhall/server/mkServer.dhall
deleted file mode 100644 (file)
index f02055b..0000000
--- a/dhall/server/mkServer.dhall
+++ /dev/null
@@ -1,17 +0,0 @@
-    let Server = ./Server.dhall
-
-in  let Service = ./service/Service.dhall
-
-in  let Vault = ./../Vault.dhall
-
-in    λ(vault : Vault)
-    → λ(adminUrl : Text)
-    → λ(services : List Service)
-    →   { kong_app_admin_url =
-            adminUrl
-        , kong_app_admin_apikey =
-            vault.appAdminApiKey
-        , services =
-            services
-        }
-      : Server