From 77e27a11c31fee82c2ff30613bc832f5171fa845 Mon Sep 17 00:00:00 2001 From: Hussein Ait-Lahcen Date: Mon, 19 Nov 2018 15:51:21 +0100 Subject: add dhall interface --- dhall/server/service/plugin/mkRequestTransformer.dhall | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 dhall/server/service/plugin/mkRequestTransformer.dhall (limited to 'dhall/server/service/plugin/mkRequestTransformer.dhall') 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 -- cgit v1.2.3