Request.put
Request.puturlbodyheaders
Documentation
Create a Put 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 put request.
import Standard.Base.Network.HTTP.Request.Request
import Standard.Base.Network.HTTP.Request_Body.Request_Body
import Standard.Base.Network.URI.URI
example_put = Request.put (URI.parse "http://example.com") Request_Body.Empty