def members.notes

ezx@1.11.0.0 · src/ws/doctor.bend:195

import Base
import ezx@1.11.0.0/src/doctor/plan.bend as DP
import ezx@1.11.0.0/src/lock/world.bend as LW
import ezx@1.11.0.0/src/ws/joint.bend as J
import ezx@1.11.0.0/src/ws/moved.bend as Mv

195# every member's report: its drift, then whether it moved
196def members.notes(
197  xs: List<&2, J.Member>,
198  +dirs: List<&2, List<&2, String>>,
199  +nvs: List<&2, String>,
200  +fs: List<&2, LW.Source>,
201  +locked: List<&2, Mv.Held>
202) -> List<&2, DP.Note>:
203  match xs:
204    case []:
205      []
206    case +hd <> tl:
207      rest = members.notes(tl, dirs, nvs, fs, locked)
208      List.append(&2, DP.Note, member.drift(hd, dirs, nvs, fs),
209        List.append(&2, DP.Note, member.moved(hd, J.files.of(fs), locked), rest))