aboutsummaryrefslogblamecommitdiffhomepage
path: root/dhall/server/service/plugin/mkRequestTermination.dhall
blob: 1d047d707c2f0872094c0b55a37eb78bc2b47dcf (plain) (tree)
1
2
3
4
5
                           
 
                           

                              














                                                 
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