Noqa.check.codes: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/style/noqa.bend as Noqa
Lines 60-77 of bolt@1.27.0.0/src/rules/style/noqa.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/style/noqa.bend&start_line=60&end_line=77

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy
import bolt@1.27.0.0/src/finding.bend as F

# one finding for each code judged here that silences nothing on its line
def check.codes(
  cs: List<&2, String>,
  +whole: Bool,
  +path: String,
  +line: U32,
  +col: U32,
  +len: U32,
  +gs: List<&2, F.Graded>
) -> List<&2, F.Finding>:
  match cs:
    case Nil{}:
      Nil{}
    case Con{+c, rest}:
      +more = check.codes(rest, whole, path, line, col, len, gs)
      +bad = Lazy.and_then(judged(whole, c), _u => Bool.not(used(gs, path, line, c)))
      +msg = say(c)
      Bool.pick(List<&2, F.Finding>, bad, F.Finding{path, line, col, len, "noqa", msg} <> more, more)

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  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=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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/lazy/lazy.bend&name=and_then
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/noqa.bend&name=judged
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/noqa.bend&name=say
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/noqa.bend&name=used