Wirespec.wire.exchange.octets: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/wirespec.bend as Wirespec
Lines 107-117 of emerging-ezhttp@0.21.0.0/src/wirespec.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/wirespec.bend&start_line=107&end_line=117

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

# a request with n octets of body to a URL that came apart: the request text
# ends at the blank line, and the octets go after it
def wire.exchange.octets(+method: String, l: Url.Loc,
  headers: List<&2, Http.Header>, n: Nat) -> Exchange:
  match l:
    case Url.Bad{why}:
      NoUrl{why}
    case Url.Loc{scheme, +host, +port, path}:
      +secure = String.eq(scheme, "https")
      Exchange{secure, host, port, method,
        Http.request.head.at(method, secure, host, port, path, headers, n)}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=Header
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=request.head.at
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/url.bend&name=Loc
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/wirespec.bend&name=Exchange