def check

bolt@1.27.0.0 · src/rules/style/noqa.bend:88

import Base
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/noqa.bend as Noqa

88# every mark of the file at the path, against the run's graded findings
89def check(mks: List<&2, Noqa.Mark>, +whole: Bool, +path: String, +gs: List<&2, F.Graded>) -> List<&2, F.Finding>:
90  match mks:
91    case Nil{}:
92      Nil{}
93    case Con{mk, rest}:
94      List.append(&2, F.Finding, check.mark(mk, whole, path, gs), check(rest, whole, path, gs))