def member.write

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

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

154# a member's ledger, written back at its directory's ez.toml
155def member.write(rd: M.Read, +ds: List<&2, String>, +joint: M.Manifest) -> List<&2, LP.Effect>:
156  match rd:
157    case M.Bad{_why}:
158      []
159    case M.Good{+mm}:
160      write.if(mm, joint, W.segs.text(ds) ++ "/ez.toml", Rend.show(ledger.back(mm, joint)))