Merge pull request #7 from haitlahcen/dhall-interfacev0.5

add dhall interface

1 files changed, 20 insertions, 0 deletions

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