def Walker.at

bend-lint-rules@0.2.0.0 · performance/list_index_loop.bend:47

import Base
import bend-lint-api@0.2.0.0/shared/names.bend as Names

47def Walker.at(k: Maybe<&2, Nat>, target: String, through: String) -> List<&2, Names.Named<Walker>>:
48  match k:
49    case Some{at}:
50      [Names.Named{target, Walker{at, through}}]
51    case None{}:
52      []