def gots

ezx@1.11.0.0 · src/lock/run.bend:102

import Base
import ezx@1.11.0.0/src/hub/hub.bend as Web
import ezx@1.11.0.0/src/lock/world.bend as W

102# every text a fetch answered, or the first miss
103def gots(+how: W.How, +manifest: String, gs: List<&2, Web.Got>, acc: List<&2, String>) -> W.Answer:
104  match gs:
105    case []:
106      W.Got{how, manifest, List.reverse(&2, String, acc)}
107    case g <> t:
108      match g:
109        case Web.Miss{why}:
110          W.Miss{"ez: " ++ why}
111        case Web.Have{body}:
112          gots(how, manifest, t, body <> acc)