def found.write

ezx@1.11.0.0 · src/ws/up.bend:170

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
import ezx@1.11.0.0/src/lock/plan.bend as LP
import ezx@1.11.0.0/src/ws/workspace.bend as W

170# one ez.toml git listed, written back when it is a member's
171def found.write(
172  lg: Maybe<&2, W.Ledger>,
173  +text: String,
174  +dirs: List<&2, List<&2, String>>,
175  +joint: M.Manifest
176) -> List<&2, LP.Effect>:
177  match lg:
178    case None{}:
179      []
180    case Some{ll}:
181      +ds = W.ledger.dir(ll)
182      found.pick(W.has(dirs, ds), text, ds, joint)