def ledger

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

import Base
import ezx@1.11.0.0/src/ws/workspace.bend as W
import ezx@1.11.0.0/src/ws/up.bend as U
import ezx@1.11.0.0/src/pkg/pkg.bend as K

208# the ledger `ez lock` is planned from: ez.toml as it is, or, at a workspace
209# root, the joint ledger of the root and every member. `files` are the
210# committed `.bend` files, which a member's package is walked over.
211def ledger(led: Maybe<&2, String>, +files: List<&2, K.Source>) -> IO(Planned):
212  match led:
213    case None{}:
214      IO.pure(Planned, Planned{None{}, U.Alone{}, []})
215    case Some{+text}:
216      joint.read(W.spec.of(text), text, files)