def found.all

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

import Base
import ezx@1.11.0.0/src/io/file.bend as F
import ezx@1.11.0.0/src/lock/up.bend as Up

407# every listed source, read
408def found.all(ps: List<&2, String>) -> IO(Up.Answer):
409  match ps:
410    case []:
411      IO.pure(Up.Answer, Up.Files{[]})
412    case +h <> t:
413      do IO<Up.Answer>:
414        m : Maybe<&2, String> <- F.read(h)
415        rest : Up.Answer <- found.all(t)
416        return found.put(m, h, rest)