def wire.read.got

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

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

210# a read that brought text, or found the connection closed
211def wire.read.got(h: Http.Hear, +text: String, closed: Bool) -> Read:
212  match closed:
213    case True{}:
214      Heard{}
215    case False{}:
216      wire.read.with(Http.hear.more(h, text))