diff options
Diffstat (limited to 'dhall/server/service/plugin/mkRequestTermination.dhall')
-rw-r--r-- | dhall/server/service/plugin/mkRequestTermination.dhall | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/dhall/server/service/plugin/mkRequestTermination.dhall b/dhall/server/service/plugin/mkRequestTermination.dhall index aff538f..1d047d7 100644 --- a/dhall/server/service/plugin/mkRequestTermination.dhall +++ b/dhall/server/service/plugin/mkRequestTermination.dhall | |||
@@ -1,20 +1,20 @@ | |||
1 | let Plugin = ./Plugin.dhall | 1 | let Plugin = ./Plugin.dhall |
2 | 2 | ||
3 | in let config = constructors ./Config.dhall | 3 | let config = ./Config.dhall |
4 | 4 | ||
5 | in λ(statusCode : Natural) | 5 | in λ(statusCode : Natural) |
6 | → λ(contentType : Text) | 6 | → λ(contentType : Text) |
7 | → λ(body : Text) | 7 | → λ(body : Text) |
8 | → { name = | 8 | → { name = |
9 | "request-termination" | 9 | "request-termination" |
10 | , config = | 10 | , config = |
11 | config.RequestTermination | 11 | config.RequestTermination |
12 | { status_code = | 12 | { status_code = |
13 | statusCode | 13 | statusCode |
14 | , content_type = | 14 | , content_type = |
15 | contentType | 15 | contentType |
16 | , body = | 16 | , body = |
17 | body | 17 | body |
18 | } | 18 | } |
19 | } | 19 | } |
20 | : Plugin | 20 | : Plugin |