def moved.at

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

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

167# a member's walk against what the lock records at its directory, once that
168# is looked up
169def moved.at(found: Maybe<&2, Mv.Held>, +root: String, +now: String) -> List<&2, DP.Note>:
170  match found:
171    case None{}:
172      []
173    case Some{hd}:
174      Mv.Held{_path, _name, +held} = hd
175      Bool.pick(List<&2, DP.Note>, String.eq(now, held), [], [DP.Note{True{}, moved.line(root, now, held)}])