From 25bf64cbc9a8ed4fef36c15756f9d7f8e96e2d06 Mon Sep 17 00:00:00 2001
From: Clement Delafargue <clement.delafargue@fretlink.com>
Date: Thu, 3 Oct 2019 11:31:56 +0200
Subject: upgrade dhall to 1.26.1 and merge types and terms

Previously, types were flattened and terms were nested (as are the
directories). For consistency, I made the types nested as well.
---
 dhall/server/package.dhall | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 dhall/server/package.dhall

(limited to 'dhall/server/package.dhall')

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 @@
+let Service = ./service/package.dhall
+
+let Server =
+      { kong_app_admin_url : Text
+      , kong_app_admin_apikey : Text
+      , services : List Service.Type
+      }
+
+let Vault = ./../Vault.dhall
+
+let mkServer =
+        λ(vault : Vault)
+      → λ(adminUrl : Text)
+      → λ(services : List Service.Type)
+      →   { kong_app_admin_url = adminUrl
+          , kong_app_admin_apikey = vault.appAdminApiKey
+          , services = services
+          }
+        : Server
+
+in  { Service = Service, Type = Server, mkServer = mkServer }
-- 
cgit v1.2.3