aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/server/service/Service.dhall
diff options
context:
space:
mode:
authorClement Delafargue <clement.delafargue@fretlink.com>2019-10-03 11:31:56 +0200
committerClement Delafargue <clement.delafargue@fretlink.com>2019-10-03 11:31:56 +0200
commit25bf64cbc9a8ed4fef36c15756f9d7f8e96e2d06 (patch)
treed6ffd754b83687e45db23522aa8273218071732e /dhall/server/service/Service.dhall
parentcfcebcd5f0c7a99ab60de773e67e7ee35e8b0f0a (diff)
downloadansible-kong-app-25bf64cbc9a8ed4fef36c15756f9d7f8e96e2d06.tar.gz
ansible-kong-app-25bf64cbc9a8ed4fef36c15756f9d7f8e96e2d06.tar.zst
ansible-kong-app-25bf64cbc9a8ed4fef36c15756f9d7f8e96e2d06.zip
upgrade dhall to 1.26.1 and merge types and termspolykinds
Previously, types were flattened and terms were nested (as are the directories). For consistency, I made the types nested as well.
Diffstat (limited to 'dhall/server/service/Service.dhall')
-rw-r--r--dhall/server/service/Service.dhall4
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/server/service/Service.dhall b/dhall/server/service/Service.dhall
index f238553..7fb1ef4 100644
--- a/dhall/server/service/Service.dhall
+++ b/dhall/server/service/Service.dhall
@@ -1,5 +1,5 @@
1 let Plugin = ./plugin/Plugin.dhall 1let Plugin = ./plugin/Plugin.dhall
2 2
3in let Route = ./route/Route.dhall 3let Route = ./Route.dhall
4 4
5in { name : Text, url : Text, plugins : List Plugin, routes : List Route } 5in { name : Text, url : Text, plugins : List Plugin, routes : List Route }