def done
ezx@1.11.0.0 · src/lock/up.bend:1174
import ezx@1.11.0.0/src/lock/up.bend as Up
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/ledger/ignore.bend as I
1174
1175def done(
1176 +old: M.Manifest,
1177 dd: Deps,
1178 tt: Tools,
1179 +ignore: String,
1180 fs: List<&2, Found>
1181) -> Next:
1182 M.Manifest{+name, +entry, +bin, +hub, +pubas, +pubver, _ds, _ts} = old
1183 Deps{+ds, swaps, +edits, dmoved, dsays, trees, _dasks, _dbad} = dd
1184 Tools{+ts, tmoved, tsays, _tasks, _tbad} = tt
1185 +moved = Bool.or(dmoved, tmoved)
1186 +text = Rend.show(M.Manifest{name, entry, bin, hub, pubas, pubver, ds, ts})
1187 +allow = I.sync(ds, ignore)
1188 Next{model.next(moved, M.Manifest{name, entry, bin, hub, pubas, pubver, ds, ts}, old),
1189 read.next(moved, text, old), fit.why(moved, M.Manifest{name, entry, bin, hub, pubas, pubver, ds, ts}), [],
1190 trees, I.vended(ds),
1191 List.append(&2, String, dsays, tsays),
1192 edit.toml(moved, text, edit.if(String.eq(allow, ignore), ".gitignore", allow, [])),
1193 fs, drops.of(swaps), edits}