RepeatedCall.judged: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/performance/repeated_call.bend as RepeatedCall
Lines 217-243 of bend-lint-rules@0.2.0.0/performance/repeated_call.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/performance/repeated_call.bend&start_line=217&end_line=243

import Base
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
import bend-lint-api@0.2.0.0/shared/lists.bend as Lists

# The findings about the calls of one definition (`loop`, as written) that repeat an earlier one, onto `out`.
def judged(
  calls: List<&2, Call>,
  +seen: List<&2, Call>,
  +loop: String,
  out: List<&2, Lint.Finding>
) -> List<&2, Lint.Finding>:
  match calls:
    case Nil{}:
      out
    case Con{+c, rest}:
      judged(
        rest,
        c <> seen,
        loop,
        Lists.onto(
          &2,
          Lint.Finding,
          Lint.finding(
            Lint.Information{},
            repeats(seen, c, False{}),
            Some{Call.span(c)},
            message(Call.callee(c), loop)
          ),
          out
        )
      )

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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=Severity
  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/shared/lists.bend&name=onto
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/repeated_call.bend&name=Call
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/repeated_call.bend&name=Call.callee
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/repeated_call.bend&name=Call.span
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/repeated_call.bend&name=message
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/repeated_call.bend&name=repeats