add dhall interface

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
parent: 6bbc5a167fb43110a5b16746c112298f392be2b8 (diff)
download: ansible-kong-app-77e27a11c31fee82c2ff30613bc832f5171fa845.tar.gz
ansible-kong-app-77e27a11c31fee82c2ff30613bc832f5171fa845.tar.zst
ansible-kong-app-77e27a11c31fee82c2ff30613bc832f5171fa845.zip
17 files changed, 122 insertions, 0 deletions
diff --git a/dhall/Config.dhall b/dhall/Config.dhall
new file mode 100644
index 0000000..f1a28fc
--- /dev/null
+++ b/dhall/Config.dhall
@@ -0,0 +1 @@
+let Server = ./server/Server.dhall in { kong_servers : List Server }
diff --git a/dhall/Vault.dhall b/dhall/Vault.dhall
new file mode 100644
index 0000000..56cd0e5
--- /dev/null
+++ b/dhall/Vault.dhall
@@ -0,0 +1 @@
+{ appAdminApiKey : Text, accessKey : Text }
diff --git a/dhall/functions.dhall b/dhall/functions.dhall
new file mode 100644
index 0000000..6465760
--- /dev/null
+++ b/dhall/functions.dhall
@@ -0,0 +1 @@
+{ Server = ./server/functions.dhall }
diff --git a/dhall/server/Server.dhall b/dhall/server/Server.dhall
new file mode 100644
index 0000000..beddd7d
--- /dev/null
+++ b/dhall/server/Server.dhall
@@ -0,0 +1,9 @@
+    let Service = ./service/Service.dhall
+in  { kong_app_admin_url :
+        Text
+    , kong_app_admin_apikey :
+        Text
+    , services :
+        List Service
+    }
diff --git a/dhall/server/functions.dhall b/dhall/server/functions.dhall
new file mode 100644
index 0000000..2775fb9
--- /dev/null
+++ b/dhall/server/functions.dhall
@@ -0,0 +1 @@
+{ Service = ./service/functions.dhall, mkServer = ./mkServer.dhall }
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 @@
+    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
diff --git a/dhall/server/service/Service.dhall b/dhall/server/service/Service.dhall
new file mode 100644
index 0000000..f238553
--- /dev/null
+++ b/dhall/server/service/Service.dhall
@@ -0,0 +1,5 @@
+    let Plugin = ./plugin/Plugin.dhall
+in  let Route = ./route/Route.dhall
+in  { name : Text, url : Text, plugins : List Plugin, routes : List Route }
diff --git a/dhall/server/service/functions.dhall b/dhall/server/service/functions.dhall
new file mode 100644
index 0000000..08f25c0
--- /dev/null
+++ b/dhall/server/service/functions.dhall
@@ -0,0 +1 @@
+{ Plugin = ./plugin/functions.dhall }
diff --git a/dhall/server/service/plugin/Config.dhall b/dhall/server/service/plugin/Config.dhall
new file mode 100644
index 0000000..73a333f
--- /dev/null
+++ b/dhall/server/service/plugin/Config.dhall
@@ -0,0 +1,9 @@
+< CorrelationId :
+    { header_name : Text, echo_downstream : Bool }
+| RequestTransformer :
+    { `add.headers` : Text }
+| RequestTermination :
+    { status_code : Natural, content_type : Text, body : Text }
+| IPRestriction :
+    { whitelist : Text }
+>
diff --git a/dhall/server/service/plugin/CorrelationId.dhall b/dhall/server/service/plugin/CorrelationId.dhall
new file mode 100644
index 0000000..d96bfc9
--- /dev/null
+++ b/dhall/server/service/plugin/CorrelationId.dhall
@@ -0,0 +1,11 @@
+    let Plugin = ./Plugin.dhall
+in  let config = constructors ./Config.dhall
+in    { name =
+          "correlation-id"
+      , config =
+          config.CorrelationId
+          { header_name = "X-correl", echo_downstream = True }
+      }
+    : Plugin
diff --git a/dhall/server/service/plugin/Plugin.dhall b/dhall/server/service/plugin/Plugin.dhall
new file mode 100644
index 0000000..548061c
--- /dev/null
+++ b/dhall/server/service/plugin/Plugin.dhall
@@ -0,0 +1 @@
+let Config = ./Config.dhall in { name : Text, config : Config }
diff --git a/dhall/server/service/plugin/functions.dhall b/dhall/server/service/plugin/functions.dhall
new file mode 100644
index 0000000..dcf2c9a
--- /dev/null
+++ b/dhall/server/service/plugin/functions.dhall
@@ -0,0 +1,9 @@
+{ mkRequestTermination =
+    ./mkRequestTermination.dhall
+, mkRequestTransformer =
+    ./mkRequestTransformer.dhall
+, mkIPRestriction =
+    ./mkIPRestriction.dhall
+, CorrelationId =
+    ./CorrelationId.dhall
+}
diff --git a/dhall/server/service/plugin/mkIPRestriction.dhall b/dhall/server/service/plugin/mkIPRestriction.dhall
new file mode 100644
index 0000000..f803769
--- /dev/null
+++ b/dhall/server/service/plugin/mkIPRestriction.dhall
@@ -0,0 +1,11 @@
+    let Plugin = ./Plugin.dhall
+in  let config = constructors ./Config.dhall
+in    λ(whiteList : Text)
+    →   { name =
+            "ip-restriction"
+        , config =
+            config.IPRestriction { whitelist = whiteList }
+        }
+      : Plugin
diff --git a/dhall/server/service/plugin/mkRequestTermination.dhall b/dhall/server/service/plugin/mkRequestTermination.dhall
new file mode 100644
index 0000000..aff538f
--- /dev/null
+++ b/dhall/server/service/plugin/mkRequestTermination.dhall
@@ -0,0 +1,20 @@
+    let Plugin = ./Plugin.dhall
+in  let config = constructors ./Config.dhall
+in    λ(statusCode : Natural)
+    → λ(contentType : Text)
+    → λ(body : Text)
+    →   { name =
+            "request-termination"
+        , config =
+            config.RequestTermination
+            { status_code =
+                statusCode
+            , content_type =
+                contentType
+            , body =
+                body
+            }
+        }
+      : Plugin
diff --git a/dhall/server/service/plugin/mkRequestTransformer.dhall b/dhall/server/service/plugin/mkRequestTransformer.dhall
new file mode 100644
index 0000000..90789c8
--- /dev/null
+++ b/dhall/server/service/plugin/mkRequestTransformer.dhall
@@ -0,0 +1,11 @@
+    let Plugin = ./Plugin.dhall
+in  let config = constructors ./Config.dhall
+in    λ(header : Text)
+    →   { name =
+            "request-transformer"
+        , config =
+            config.RequestTransformer { `add.headers` = header }
+        }
+      : Plugin
diff --git a/dhall/server/service/route/Route.dhall b/dhall/server/service/route/Route.dhall
new file mode 100644
index 0000000..c0fa1a9
--- /dev/null
+++ b/dhall/server/service/route/Route.dhall
@@ -0,0 +1 @@
+{ paths : List Text, protocols : List Text, hosts : List Text }
diff --git a/dhall/types.dhall b/dhall/types.dhall
new file mode 100644
index 0000000..938dc74
--- /dev/null
+++ b/dhall/types.dhall
@@ -0,0 +1,13 @@
+{ Vault =
+    ./Vault.dhall
+, Config =
+    ./Config.dhall
+, Server =
+    ./server/Server.dhall
+, Service =
+    ./server/service/Service.dhall
+, Plugin =
+    ./server/service/plugin/Plugin.dhall
+, Route =
+    ./server/service/route/Route.dhall
+}
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
parent	6bbc5a167fb43110a5b16746c112298f392be2b8 (diff)
download	ansible-kong-app-77e27a11c31fee82c2ff30613bc832f5171fa845.tar.gz ansible-kong-app-77e27a11c31fee82c2ff30613bc832f5171fa845.tar.zst ansible-kong-app-77e27a11c31fee82c2ff30613bc832f5171fa845.zip

diff --git a/dhall/Config.dhall b/dhall/Config.dhall new file mode 100644 index 0000000..f1a28fc --- /dev/null +++ b/dhall/Config.dhall
@@ -0,0 +1 @@
		let Server = ./server/Server.dhall in { kong_servers : List Server }


diff --git a/dhall/Vault.dhall b/dhall/Vault.dhall new file mode 100644 index 0000000..56cd0e5 --- /dev/null +++ b/dhall/Vault.dhall
@@ -0,0 +1 @@
		{ appAdminApiKey : Text, accessKey : Text }


diff --git a/dhall/functions.dhall b/dhall/functions.dhall new file mode 100644 index 0000000..6465760 --- /dev/null +++ b/dhall/functions.dhall
@@ -0,0 +1 @@
		{ Server = ./server/functions.dhall }


diff --git a/dhall/server/Server.dhall b/dhall/server/Server.dhall new file mode 100644 index 0000000..beddd7d --- /dev/null +++ b/dhall/server/Server.dhall
@@ -0,0 +1,9 @@
	1	let Service = ./service/Service.dhall
	2
	3	in { kong_app_admin_url :
	4	Text
	5	, kong_app_admin_apikey :
	6	Text
	7	, services :
	8	List Service
	9	}


diff --git a/dhall/server/functions.dhall b/dhall/server/functions.dhall new file mode 100644 index 0000000..2775fb9 --- /dev/null +++ b/dhall/server/functions.dhall
@@ -0,0 +1 @@
		{ Service = ./service/functions.dhall, mkServer = ./mkServer.dhall }


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


diff --git a/dhall/server/service/Service.dhall b/dhall/server/service/Service.dhall new file mode 100644 index 0000000..f238553 --- /dev/null +++ b/dhall/server/service/Service.dhall
@@ -0,0 +1,5 @@
	1	let Plugin = ./plugin/Plugin.dhall
	2
	3	in let Route = ./route/Route.dhall
	4
	5	in { name : Text, url : Text, plugins : List Plugin, routes : List Route }


diff --git a/dhall/server/service/functions.dhall b/dhall/server/service/functions.dhall new file mode 100644 index 0000000..08f25c0 --- /dev/null +++ b/dhall/server/service/functions.dhall
@@ -0,0 +1 @@
		{ Plugin = ./plugin/functions.dhall }


diff --git a/dhall/server/service/plugin/Config.dhall b/dhall/server/service/plugin/Config.dhall new file mode 100644 index 0000000..73a333f --- /dev/null +++ b/dhall/server/service/plugin/Config.dhall
@@ -0,0 +1,9 @@
	1	< CorrelationId :
	2	{ header_name : Text, echo_downstream : Bool }
	3	\| RequestTransformer :
	4	{ `add.headers` : Text }
	5	\| RequestTermination :
	6	{ status_code : Natural, content_type : Text, body : Text }
	7	\| IPRestriction :
	8	{ whitelist : Text }
	9	>


diff --git a/dhall/server/service/plugin/CorrelationId.dhall b/dhall/server/service/plugin/CorrelationId.dhall new file mode 100644 index 0000000..d96bfc9 --- /dev/null +++ b/dhall/server/service/plugin/CorrelationId.dhall
@@ -0,0 +1,11 @@
	1	let Plugin = ./Plugin.dhall
	2
	3	in let config = constructors ./Config.dhall
	4
	5	in { name =
	6	"correlation-id"
	7	, config =
	8	config.CorrelationId
	9	{ header_name = "X-correl", echo_downstream = True }
	10	}
	11	: Plugin


diff --git a/dhall/server/service/plugin/Plugin.dhall b/dhall/server/service/plugin/Plugin.dhall new file mode 100644 index 0000000..548061c --- /dev/null +++ b/dhall/server/service/plugin/Plugin.dhall
@@ -0,0 +1 @@
		let Config = ./Config.dhall in { name : Text, config : Config }


diff --git a/dhall/server/service/plugin/functions.dhall b/dhall/server/service/plugin/functions.dhall new file mode 100644 index 0000000..dcf2c9a --- /dev/null +++ b/dhall/server/service/plugin/functions.dhall
@@ -0,0 +1,9 @@
	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/mkIPRestriction.dhall b/dhall/server/service/plugin/mkIPRestriction.dhall new file mode 100644 index 0000000..f803769 --- /dev/null +++ b/dhall/server/service/plugin/mkIPRestriction.dhall
@@ -0,0 +1,11 @@
	1	let Plugin = ./Plugin.dhall
	2
	3	in let config = constructors ./Config.dhall
	4
	5	in λ(whiteList : Text)
	6	→ { name =
	7	"ip-restriction"
	8	, config =
	9	config.IPRestriction { whitelist = whiteList }
	10	}
	11	: Plugin


diff --git a/dhall/server/service/plugin/mkRequestTermination.dhall b/dhall/server/service/plugin/mkRequestTermination.dhall new file mode 100644 index 0000000..aff538f --- /dev/null +++ b/dhall/server/service/plugin/mkRequestTermination.dhall
@@ -0,0 +1,20 @@
	1	let Plugin = ./Plugin.dhall
	2
	3	in let config = constructors ./Config.dhall
	4
	5	in λ(statusCode : Natural)
	6	→ λ(contentType : Text)
	7	→ λ(body : Text)
	8	→ { name =
	9	"request-termination"
	10	, config =
	11	config.RequestTermination
	12	{ status_code =
	13	statusCode
	14	, content_type =
	15	contentType
	16	, body =
	17	body
	18	}
	19	}
	20	: Plugin


diff --git a/dhall/server/service/plugin/mkRequestTransformer.dhall b/dhall/server/service/plugin/mkRequestTransformer.dhall new file mode 100644 index 0000000..90789c8 --- /dev/null +++ b/dhall/server/service/plugin/mkRequestTransformer.dhall
@@ -0,0 +1,11 @@
	1	let Plugin = ./Plugin.dhall
	2
	3	in let config = constructors ./Config.dhall
	4
	5	in λ(header : Text)
	6	→ { name =
	7	"request-transformer"
	8	, config =
	9	config.RequestTransformer { `add.headers` = header }
	10	}
	11	: Plugin


diff --git a/dhall/server/service/route/Route.dhall b/dhall/server/service/route/Route.dhall new file mode 100644 index 0000000..c0fa1a9 --- /dev/null +++ b/dhall/server/service/route/Route.dhall
@@ -0,0 +1 @@
		{ paths : List Text, protocols : List Text, hosts : List Text }


diff --git a/dhall/types.dhall b/dhall/types.dhall new file mode 100644 index 0000000..938dc74 --- /dev/null +++ b/dhall/types.dhall
@@ -0,0 +1,13 @@
	1	{ Vault =
	2	./Vault.dhall
	3	, Config =
	4	./Config.dhall
	5	, Server =
	6	./server/Server.dhall
	7	, Service =
	8	./server/service/Service.dhall
	9	, Plugin =
	10	./server/service/plugin/Plugin.dhall
	11	, Route =
	12	./server/service/route/Route.dhall
	13	}