def plan.of

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

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

871# the plan over what a World read, field by field, with the lock check's
872# lines
873def plan.of(
874  +ledger: M.Read,
875  +cc: String,
876  +lib: String,
877  lock: Maybe<&2, String>,
878  +rs: List<&2, DW.Reply>,
879  cs: List<&2, Note>
880) -> P.Plan:
881  plan.notes(notes.of(ledger, DW.heard(rs, DW.Sources{}), cc, lib, lock, rs, cs))