def step.of

ezx@1.11.0.0 · src/doctor/plan.bend:979

import Base
import ezx@1.11.0.0/src/doctor/world.bend as DW
import ezx@1.11.0.0/src/ledger/manifest.bend as M

979# the step over what a World read, field by field, with the lock check's
980# questions and lines. The first round asks everything but the lock check's
981# trees, which follow the sources and each other, as the lock's own questions
982# do.
983def step.of(
984  +ledger: M.Read,
985  +cc: String,
986  +lib: String,
987  +lock: Maybe<&2, String>,
988  +rs: List<&2, DW.Reply>,
989  ts: List<&2, DW.Ask>,
990  cs: List<&2, Note>
991) -> Step:
992  step.asks(open(List.append(&2, DW.Ask, asks.of(ledger, cc, lib, lock), ts), rs),
993    ledger, cc, lib, lock, rs, cs)