def moved.walked

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

import Base
import ezx@1.11.0.0/src/doctor/plan.bend as DP
import ezx@1.11.0.0/src/pkg/pkg.bend as K
import ezx@1.11.0.0/src/ws/moved.bend as Mv

177# a member's walk against the lock
178def moved.walked(got: K.Walked, +locked: List<&2, Mv.Held>) -> List<&2, DP.Note>:
179  match got:
180    case K.Walked{+now, +root, _fs, _sums}:
181      moved.at(Mv.at(locked, root), root, now)
182    case K.Asks{_at}:
183      []
184    case K.Refused{_why}:
185      []