dhall/server/service/plugin/mkRequestTermination.dhall

   1 let Plugin = ./Plugin.dhall
   2
   3 let config = ./Config.dhall
   4
   5 in    λ(statusCode : Natural)
   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