aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/server/service
diff options
context:
space:
mode:
authorClément Delafargue <39330590+clementd-fretlink@users.noreply.github.com>2019-10-07 09:55:50 +0200
committerGitHub <noreply@github.com>2019-10-07 09:55:50 +0200
commit027a2fa61a6044b2e967b29195312e4d98a96078 (patch)
treed6ffd754b83687e45db23522aa8273218071732e /dhall/server/service
parentcfcebcd5f0c7a99ab60de773e67e7ee35e8b0f0a (diff)
parent25bf64cbc9a8ed4fef36c15756f9d7f8e96e2d06 (diff)
downloadansible-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/service')
-rw-r--r--dhall/server/service/Route.dhall (renamed from dhall/server/service/route/Route.dhall)0
-rw-r--r--dhall/server/service/Service.dhall4
-rw-r--r--dhall/server/service/functions.dhall1
-rw-r--r--dhall/server/service/package.dhall12
-rw-r--r--dhall/server/service/plugin/CorrelationId.dhall23
-rw-r--r--dhall/server/service/plugin/correlationId.dhall23
-rw-r--r--dhall/server/service/plugin/functions.dhall9
-rw-r--r--dhall/server/service/plugin/package.dhall6
8 files changed, 43 insertions, 35 deletions
diff --git a/dhall/server/service/route/Route.dhall b/dhall/server/service/Route.dhall
index c0fa1a9..c0fa1a9 100644
--- a/dhall/server/service/route/Route.dhall
+++ b/dhall/server/service/Route.dhall
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 }
diff --git a/dhall/server/service/functions.dhall b/dhall/server/service/functions.dhall
deleted file mode 100644
index 08f25c0..0000000
--- a/dhall/server/service/functions.dhall
+++ /dev/null
@@ -1 +0,0 @@
1{ Plugin = ./plugin/functions.dhall }
diff --git a/dhall/server/service/package.dhall b/dhall/server/service/package.dhall
new file mode 100644
index 0000000..05bbe37
--- /dev/null
+++ b/dhall/server/service/package.dhall
@@ -0,0 +1,12 @@
1let Plugin = ./plugin/package.dhall
2
3let Route = ./Route.dhall
4
5let Service =
6 { name : Text
7 , url : Text
8 , plugins : List Plugin.Type
9 , routes : List Route
10 }
11
12in { Type = Service, Route = Route, Plugin = Plugin }
diff --git a/dhall/server/service/plugin/CorrelationId.dhall b/dhall/server/service/plugin/CorrelationId.dhall
deleted file mode 100644
index fc69f4f..0000000
--- a/dhall/server/service/plugin/CorrelationId.dhall
+++ /dev/null
@@ -1,23 +0,0 @@
1let Plugin = ./Plugin.dhall
2
3let config = ./Config.dhall
4
5in λ(generator : Optional Text)
6 → { name =
7 "correlation-id"
8 , config =
9 config.CorrelationId
10 { header_name =
11 "X-correl"
12 , echo_downstream =
13 True
14 , generator =
15 Optional/fold
16 Text
17 generator
18 Text
19 (λ(t : Text) → t)
20 "uuid#counter"
21 }
22 }
23 : Plugin
diff --git a/dhall/server/service/plugin/correlationId.dhall b/dhall/server/service/plugin/correlationId.dhall
new file mode 100644
index 0000000..d5d5928
--- /dev/null
+++ b/dhall/server/service/plugin/correlationId.dhall
@@ -0,0 +1,23 @@
1let Plugin = ./Plugin.dhall
2
3let config = ./Config.dhall
4
5in λ(generator : Optional Text)
6 → { name =
7 "correlation-id"
8 , config =
9 config.CorrelationId
10 { header_name =
11 "X-correl"
12 , echo_downstream =
13 True
14 , generator =
15 Optional/fold
16 Text
17 generator
18 Text
19 (λ(t : Text) → t)
20 "uuid#counter"
21 }
22 }
23 : Plugin
diff --git a/dhall/server/service/plugin/functions.dhall b/dhall/server/service/plugin/functions.dhall
deleted file mode 100644
index dcf2c9a..0000000
--- a/dhall/server/service/plugin/functions.dhall
+++ /dev/null
@@ -1,9 +0,0 @@
1{ mkRequestTermination =
2 ./mkRequestTermination.dhall
3, mkRequestTransformer =
4 ./mkRequestTransformer.dhall
5, mkIPRestriction =
6 ./mkIPRestriction.dhall
7, CorrelationId =
8 ./CorrelationId.dhall
9}
diff --git a/dhall/server/service/plugin/package.dhall b/dhall/server/service/plugin/package.dhall
new file mode 100644
index 0000000..872c53b
--- /dev/null
+++ b/dhall/server/service/plugin/package.dhall
@@ -0,0 +1,6 @@
1{ Type = ./Plugin.dhall
2, mkRequestTermination = ./mkRequestTermination.dhall
3, mkRequestTransformer = ./mkRequestTransformer.dhall
4, mkIPRestriction = ./mkIPRestriction.dhall
5, correlationId = ./correlationId.dhall
6}