Plan.noqa: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lint/plan.bend as Plan
Lines 539-546 of bolt@1.27.0.0/src/lint/plan.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lint/plan.bend&start_line=539&end_line=546

import Base
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/rules.bend as Rules
import bolt@1.27.0.0/src/noqa.bend as Noqa
import bolt@1.27.0.0/src/rules/style/noqa.bend as NoqaRule

# the `noqa` rule's findings on each file's marks, against the graded
# findings, each put at its file as a per-file rule's are
def noqa(ms: List<&2, Noqa.Marks>, +whole: Bool, +gs: List<&2, F.Graded>) -> List<&2, F.Finding>:
  match ms:
    case Nil{}:
      Nil{}
    case Con{Noqa.Marks{+path, mks}, rest}:
      List.append(&2, F.Finding, Rules.on.at(path, NoqaRule.check(mks, whole, path, gs)), noqa(rest, whole, gs))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/finding.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/finding.bend&name=Graded
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/noqa.bend&name=Marks
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/noqa.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules.bend&name=on.at