Run.whole.read: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/run.bend as Run
Lines 463-474 of ezx@1.11.0.0/src/lock/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/run.bend&start_line=463&end_line=474

import Base
import ezx@1.11.0.0/src/io/file.bend as F
import ezx@1.11.0.0/src/pkg/pkg.bend as K

# every listed file of the checkout, read, with its path from the checkout's
# top. One that cannot be read as text, such as a link to a directory, is
# left out, as the walk would find it missing.
def whole.read(+work: String, ps: List<&2, String>) -> IO(List<&2, K.Source>):
  match ps:
    case []:
      IO.pure(List<&2, K.Source>, [])
    case +h <> t:
      do IO<List<&2, K.Source>>:
        m : Maybe<&2, String> <- F.read(h)
        rest : List<&2, K.Source> <- whole.read(work, t)
        return whole.put(m, String.drop(h, (1n + String.length(work) : Nat)), rest)

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.drop
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/io/file.bend&name=read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/run.bend&name=whole.put
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Source