Noqa.keep: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/noqa.bend as Noqa Lines 244-252 of bolt@1.27.0.0/src/noqa.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/noqa.bend&start_line=244&end_line=252 import Base import bolt@1.27.0.0/src/finding.bend as F import bolt@1.27.0.0/src/codes.bend as Codes # the graded findings no mark silences, in order def keep(+ms: List<&2, Marks>, gs: List<&2, F.Graded>) -> List<&2, F.Graded>: match gs: case Nil{}: Nil{} case Con{F.Graded{ll, F.Finding{+path, +line, col, len, +rule, msg}}, rest}: +more = keep(ms, rest) Bool.pick(List<&2, F.Graded>, silenced(ms, path, line, Codes.code(rule)), more, F.Graded{ll, F.Finding{path, line, col, len, rule, msg}} <> more) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/codes.bend&name=code 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/noqa.bend&name=silenced