[github/fretlink/ansible-kong-app.git] / dhall / server / service / plugin / mkRequestTermination.dhall

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
Commit	Line	Data
331e852c	1	let Plugin = ./Plugin.dhall
77e27a11	2
331e852c	3	let config = ./Config.dhall
77e27a11 HAL	4
77e27a11 HAL	5	in λ(statusCode : Natural)
331e852c PB	6	→ λ(contentType : Text)
	7	→ λ(body : Text)
	8	→ { name =
	9	"request-termination"
	10	, config =
	11	config.RequestTermination
	12	{ status_code =
	13	statusCode
	14	, content_type =
	15	contentType
	16	, body =
	17	body
	18	}
	19	}
	20	: Plugin