type Next

ezx@1.11.0.0 · src/lock/up.bend:139

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
import ezx@1.11.0.0/src/ledger/upgrade.bend as U

139# what the upgrade decided. `model` is the ledger model the upgrade renders
140# into ez.toml, and ez.toml as it is when the upgrade refuses, still asks, or
141# moves nothing; the upgrade's decisions are stated over it. `read` is the
142# ledger the lock is made from: the one the upgrade writes, read back, or
143# ez.toml as it is when nothing moved.
144# `stop` is why the upgrade refuses, "" when it does not; a World with
145# questions still open refuses too, and names them in `asks`. The rest is what
146# the upgrade writes around the lock: the trees it checked out, the hashes
147# committed under `.ez/lib`, the lines a person is told, ez.toml and
148# `.gitignore` when they change, the project's sources, which it writes where
149# a moved hash is rewritten (`edit.sources`), the committed trees it removes,
150# and the hashes import lines stop naming, each with the hash that replaces
151# it, which the lock reads the committed sources through. The sources are
152# rewritten once, by the plan, and not on every round of questions.
153type Next is Data:
154  Next{model: M.Read, read: M.Read, stop: String, asks: List<&2, Ask>, trees: List<&2, Laid>,
155    vends: List<&2, String>, says: List<&2, String>, edits: List<&2, Edit>,
156    found: List<&2, Found>, drops: List<&2, String>, swaps: List<&2, U.Swap>}