dhall/server/service/plugin/mkRequestTermination.dhall


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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