def sources.under

ezx@1.11.0.0 · src/ws/run.bend:345

import Base
import ezx@1.11.0.0/src/io/file.bend as F
import ezx@1.11.0.0/src/lock/world.bend as LW

345# every listed file under a directory, read, as the lock takes it
346def sources.under(+dir: String, ps: List<&2, String>) -> IO(List<&2, LW.Source>):
347  match ps:
348    case []:
349      IO.pure(List<&2, LW.Source>, [])
350    case +hd <> tl:
351      do IO<List<&2, LW.Source>>:
352        mm : Maybe<&2, String> <- F.read(dir ++ "/" ++ hd)
353        rest : List<&2, LW.Source> <- sources.under(dir, tl)
354        return LW.Source{hd, F.text_of(mm)} <> rest