def wire.read.done

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

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

198# where the response stands after a read, judged
199def wire.read.done(+h: Http.Hear, done: Bool) -> Read:
200  match done:
201    case True{}:
202      Heard{}
203    case False{}:
204      Again{h}