def wire.exchange.body

emerging-ezhttp@0.21.0.0 · src/wirespec.bend:119

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

119# a request with a body of this shape to a URL that came apart: text inside
120# the request text as UTF-8, octets after it (SPEC.md HTTP-CLI-10)
121def wire.exchange.body(method: String, l: Url.Loc,
122  headers: List<&2, Http.Header>, b: Body.Shape) -> Exchange:
123  match b:
124    case Body.ShapeText{text}:
125      wire.exchange(method, l, headers, text)
126    case Body.ShapeOctets{n}:
127      wire.exchange.octets(method, l, headers, U32.to_nat(n))