def http.delete_opts

emerging-ezhttp@0.21.0.0 · main.bend:258

import Base
import emerging-ezhttp@0.21.0.0/src/http.bend as Http
import emerging-ezhttp@0.21.0.0/src/body.bend as Body
import emerging-ezhttp@0.21.0.0/src/client.bend as Client

258# DELETE with headers, a body and a timeout in milliseconds; redirects are
259# not followed
260def http.delete_opts(
261  url: String,
262  headers: List<&2, Http.Header>,
263  body: Body.Body,
264  timeout_ms: U32
265) -> IO(Client.Response):
266  http.request_opts("DELETE", url, headers, body, timeout_ms, False{})