Rules.graded: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/rules.bend as Rules Lines 178-188 of bolt@1.27.0.0/src/rules.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules.bend&start_line=178&end_line=188 import Base import bolt@1.27.0.0/src/finding.bend as F import bolt@1.27.0.0/src/config.bend as Config # the findings at the levels a config gives their rules; the ones set off # are dropped def graded(+cfg: Config.Config, fs: List<&2, F.Finding>) -> List<&2, F.Graded>: match fs: case Nil{}: Nil{} case Con{F.Finding{path, line, col, len, +rule, msg}, rest}: +more = graded(cfg, rest) +l = Config.level(cfg, group(rule), rule) Bool.pick(List<&2, F.Graded>, Config.is_off(l), more, F.Graded{l, F.Finding{path, line, col, len, rule, msg}} <> more) Uses (8): 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/config.bend&name=Config https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/config.bend&name=is_off https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/config.bend&name=level 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/rules.bend&name=group