def members.write

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

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
import ezx@1.11.0.0/src/ws/joint.bend as J

184# every member's ledger the upgrade changed, written back
185def members.write(
186  fs: List<&2, J.Found>,
187  +dirs: List<&2, List<&2, String>>,
188  +joint: M.Manifest
189) -> List<&2, LP.Effect>:
190  match fs:
191    case []:
192      []
193    case J.Found{+pp, +tt} <> tl:
194      List.append(&2, LP.Effect, found.write(W.ledger.of(pp, tt), tt, dirs, joint),
195        members.write(tl, dirs, joint))