Directives.Applied.go: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/lib/linter/directives.bend as Directives
Lines 845-868 of bend-lint-rules@0.2.0.0/lib/linter/directives.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&start_line=845&end_line=868

import Base
import bend-lint-rules@0.2.0.0/lib/text/main.bend as Text
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint

# The findings, each with where it starts (`at`, in order), sorted by the directives that cover their lines.
def Applied.go(
  founds: List<&2, Lint.Found>,
  at: List<&2, Text.Position>,
  +coverings: List<&2, Covering>,
  a: Applied
) -> Applied:
  match founds at:
    case Con{
      Lint.Found{+rule, Lint.Finding{+severity, span, message, fixes}},
      rest
    } Con{Text.Position{line, column}, more}:
      Applied.go(
        rest,
        more,
        coverings,
        Applied.add(
          Covering.hits(coverings, rule, severity, (line - 1: U32), []),
          Lint.Found{rule, Lint.Finding{severity, span, message, fixes}},
          a
        )
      )
    case _ _:
      a

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Found
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Applied
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Applied.add
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Covering
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Covering.hits
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/text/main.bend&name=Position