Skip to main content

Request.head

Request.headurlheaders

Documentation​

Create a Head request.

Arguments​

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

Examples​

Create a new head request.​

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

      example_head = Request.head (URI.parse "http://example.com")