TemplateValueField.records: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/performance/template_value_field.bend as TemplateValueField
Lines 49-65 of bend-lint-rules@0.2.0.0/performance/template_value_field.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/performance/template_value_field.bend&start_line=49&end_line=65

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 datatypes among `nodes` with a field whose written type is a function, by the name the check gives them, onto
# `out`.
def records(nodes: List<&2, Lint.Node>, out: List<&2, String>) -> List<&2, String>:
  match nodes:
    case Nil{}:
      out
    case Con{Lint.Node{Lint.Datatype{t}, n, s, kids, f}, rest}:
      records(
        rest,
        Lists.push(
          String,
          Lists.when(String, Lint.fold(~Unit, ~Bool, ~records.step, Unit{}, kids, False{}), t),
          out
        )
      )
    case Con{node, rest}:
      records(rest, out)

Uses (10):
  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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Node
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Syntax
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=fold
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/shared/lists.bend&name=push
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/shared/lists.bend&name=when
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/template_value_field.bend&name=records.step