def wire.read.with

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

import Base
import emerging-ezhttp@0.21.0.0/src/http.bend as Http

206# where the response stands after a read, judged
207def wire.read.with(+h: Http.Hear) -> Read:
208  wire.read.done(h, Http.hear.done(h))