Run.joint.listed: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/run.bend as Run
Lines 171-188 of ezx@1.11.0.0/src/ws/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/run.bend&start_line=171&end_line=188

import Base
import ezx@1.11.0.0/src/io/file.bend as F
import ezx@1.11.0.0/src/ws/workspace.bend as W
import ezx@1.11.0.0/src/ws/joint.bend as J
import ezx@1.11.0.0/src/pkg/pkg.bend as K

# a workspace root's ledger joined with every member's, once git listed them
def joint.listed(
  ok: Bool,
  +text: String,
  +spec: W.Spec,
  +out: String,
  +files: List<&2, K.Source>
) -> IO(Planned):
  match ok:
    case True{}:
      do IO<Planned>:
        +fs : List<&2, J.Found> <- read.found(lines(String.lines(out)))
        lk : Maybe<&2, String> <- F.read("ez.lock.toml")
        joint.at(J.joint(text, fs, files), text, spec, fs, files, F.text_of(lk))
    case False{}:
      IO.die(Planned, 1,
        "ez: a workspace is locked from the ez.toml files git tracks, and git could not list them: " ++
          String.trim(out))

Uses (20):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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.die
  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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.lines
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.trim
  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/io/file.bend&name=text_of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=Found
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=joint
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/run.bend&name=Planned
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/run.bend&name=joint.at
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/run.bend&name=lines
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/run.bend&name=read.found
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=Spec