From 80320193527d24c33ce67da99521a4cdd6631edc Mon Sep 17 00:00:00 2001 From: Hussein Ait-Lahcen Date: Wed, 24 Apr 2019 15:28:10 +0200 Subject: add(dhall): introduce pre-function plugin --- dhall/server/service/plugin/mkPreFunction.dhall | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 dhall/server/service/plugin/mkPreFunction.dhall (limited to 'dhall/server/service/plugin/mkPreFunction.dhall') diff --git a/dhall/server/service/plugin/mkPreFunction.dhall b/dhall/server/service/plugin/mkPreFunction.dhall new file mode 100644 index 0000000..ff4f734 --- /dev/null +++ b/dhall/server/service/plugin/mkPreFunction.dhall @@ -0,0 +1,9 @@ +let Plugin = ./Plugin.dhall + +let config = ./Config.dhall + +in λ(functions : List Text) + → { name = "pre-function" + , config = config.PreFunction { functions = functions } + } + : Plugin -- cgit v1.2.3