BendLintRules.places.group: def of bend-lint-rules@0.2.0.0 Import: import bend-lint-rules@0.2.0.0/lib/text/main.bend as BendLintRules Lines 346-355 of bend-lint-rules@0.2.0.0/lib/text/main.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/lib/text/main.bend&start_line=346&end_line=355 import Base import bend-lint-api@0.2.0.0/shared/names.bend as Names # The requests by file, each offset numbered by itself, onto `groups`. def places.group( requests: List<&2, Place>, groups: Map<&2, List<&2, Placed>> ) -> Map<&2, List<&2, Placed>>: match requests: case Nil{}: groups case Con{Place{path, +offset}, rest}: places.group(rest, Names.Group.add(Placed, groups, path, Placed{offset, offset})) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/shared/names.bend&name=Group.add https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/text/main.bend&name=Place https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/text/main.bend&name=Placed