Wirespec.wire.exchange.body: def of emerging-ezhttp@0.22.0.0
Import: import emerging-ezhttp@0.22.0.0/src/wirespec.bend as Wirespec
Lines 119-127 of emerging-ezhttp@0.22.0.0/src/wirespec.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.22.0.0/src/wirespec.bend&start_line=119&end_line=127

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

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

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.22.0.0/src/body.bend&name=Shape
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.22.0.0/src/http.bend&name=Header
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.22.0.0/src/url.bend&name=Loc
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.22.0.0/src/wirespec.bend&name=Exchange
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.22.0.0/src/wirespec.bend&name=wire.exchange
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.22.0.0/src/wirespec.bend&name=wire.exchange.octets