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

let config = ./Config.dhall

in    λ(statusCode : Natural)
	→ λ(contentType : Text)
	→ λ(body : Text)
	→   { name =
			"request-termination"
		, config =
			config.RequestTermination
			{ status_code =
				statusCode
			, content_type =
				contentType
			, body =
				body
			}
		}
	  : Plugin