def client.timed.shaped

emerging-ezhttp@0.21.0.0 · src/client.bend:84

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
import emerging-ezhttp@0.21.0.0/src/url.bend as Url
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/wirespec.bend as Spec

84# a timed exchange for a body of this shape
85def client.timed.shaped(method: String, url: String,
86  headers: List<&2, Http.Header>, ms: U32, r: Body.Shape & Bytes.Bytes)
87  -> IO(Response):
88  (shape, tail) = r
89  http.send.timed(ms, Spec.wire.exchange.body(method, Url.parse(url), headers,
90    shape), tail)