Skip to main content

Request.post

Request.posturlbodyheaders

Group: Output
Aliases: http post, upload

Documentation​

Create a Post request.

Arguments​

  • url: The address for the request.
  • body: The body for the request.
  • headers: A vector containing headers for the request.

Examples​

Create a new post request.​

      import Standard.Base.Network.HTTP.Request.Request
      import Standard.Base.Network.Request_Body.Request_Body
      import Standard.Base.Network.URI.URI

      example_post = Request.post (URI.parse "http://example.com") Request_Body.Empty