def tree.read

ezx@1.11.0.0 · src/doctor/run.bend:38

import Base
import ezx@1.11.0.0/src/lock/run.bend as Run
import ezx@1.11.0.0/src/lock/lock.bend as L
import ezx@1.11.0.0/src/doctor/world.bend as DW

38# a tree under BEND_LIB, as it is: its manifest and every file it names, read
39# from beside it. A file that is not there reads as "", which does not hash
40# to its sum.
41def tree.read(+dir: String, +manifest: String) -> IO(DW.Answer):
42  do IO<DW.Answer>:
43    ss : List<&2, String> <- Run.disk.all(dir, L.manifest.files(String.lines(manifest)))
44    return DW.Laid{manifest, ss}