Rules.on.rules.role: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules.bend as Rules
Lines 69-103 of bolt@1.27.0.0/src/rules.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules.bend&start_line=69&end_line=103

import Base
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/src.bend as Src
import bolt@1.27.0.0/src/role.bend as Role
import bolt@1.27.0.0/src/rules/style/doc.bend as Doc
import bolt@1.27.0.0/src/rules/suspicious/unused.bend as Unused
import bolt@1.27.0.0/src/rules/correctness/hole.bend as Hole
import bolt@1.27.0.0/src/rules/style/space.bend as Space
import bolt@1.27.0.0/src/rules/style/wrap.bend as Wrap
import bolt@1.27.0.0/src/rules/style/param.bend as Param
import bolt@1.27.0.0/src/rules/style/transcong.bend as Transcong
import bolt@1.27.0.0/src/rules/correctness/pick.bend as Pick
import bolt@1.27.0.0/src/rules/pedantic/strict.bend as Strict
import bolt@1.27.0.0/src/rules/suspicious/eager.bend as Eager
import bolt@1.27.0.0/src/rules/pedantic/tail.bend as Tail
import bolt@1.27.0.0/src/rules/suspicious/concat.bend as Concat
import bolt@1.27.0.0/src/rules/pedantic/index.bend as Index
import bolt@1.27.0.0/src/rules/pedantic/rewalk.bend as Rewalk
import bolt@1.27.0.0/src/rules/suspicious/thunk.bend as Thunk
import bolt@1.27.0.0/src/rules/suspicious/fromrev.bend as Fromrev
import bolt@1.27.0.0/src/rules/suspicious/prefix.bend as Prefix
import bolt@1.27.0.0/src/rules/suspicious/empty.bend as Empty
import bolt@1.27.0.0/src/rules/correctness/put.bend as Put
import bolt@1.27.0.0/src/rules/correctness/escape.bend as Escape
import bolt@1.27.0.0/src/rules/perf/strings.bend as Strings
import bolt@1.27.0.0/src/rules/perf/chars.bend as Chars
import bolt@1.27.0.0/src/rules/correctness/twice.bend as Twice
import bolt@1.27.0.0/src/rules/correctness/arms.bend as Arms
import bolt@1.27.0.0/src/rules/pedantic/foreign.bend as Foreign
import bolt@1.27.0.0/src/rules/pedantic/fuel.bend as Fuel
import bolt@1.27.0.0/src/rules/laws/closed.bend as Closed

# every per-file rule on a file, told its role (src/role.bend): the rules a
# law or proof file changes (doc, hole, param, fromrev, prefix, empty, closed)
# read the role, never the path, and the cost rules check nothing in a law
# or proof file
def on.rules.role(+rr: Role.Role, +ss: Src.Src) -> List<&2, F.Finding>:
  List.concat(&2, F.Finding, [
    Doc.check.role(rr, ss),
    Unused.check(ss),
    Hole.check.role(rr, ss),
    Space.check(ss),
    Wrap.check(ss),
    Param.check.role(rr, ss),
    Role.skip(rr, _u => Pick.check(ss)),
    Role.skip(rr, _u => Pick.search(ss)),
    Role.skip(rr, _u => Strict.check(ss)),
    Role.skip(rr, _u => Eager.check(ss)),
    Role.skip(rr, _u => Tail.check(ss)),
    Role.skip(rr, _u => Concat.check(ss)),
    Role.skip(rr, _u => Concat.cont(ss)),
    Role.skip(rr, _u => Index.check(ss)),
    Role.skip(rr, _u => Rewalk.check(ss)),
    Role.skip(rr, _u => Thunk.check(ss)),
    Fromrev.check.role(rr, ss),
    Prefix.check.role(rr, ss),
    Empty.check.role(rr, ss),
    Put.check(ss),
    Escape.check(ss),
    Strings.check(ss),
    Chars.check(ss),
    Twice.check(ss),
    Arms.check(ss),
    Foreign.check(ss),
    Fuel.check(ss),
    Closed.check.role(rr, ss),
    Transcong.check(ss)])

Uses (35):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.concat
  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/role.bend&name=Role
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/role.bend&name=skip
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/arms.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/escape.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/hole.bend&name=check.role
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/pick.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/pick.bend&name=search
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/put.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/twice.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/laws/closed.bend&name=check.role
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/foreign.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/fuel.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/index.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/rewalk.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/strict.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/pedantic/tail.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/perf/chars.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/perf/strings.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/doc.bend&name=check.role
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/param.bend&name=check.role
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/space.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/transcong.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/wrap.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/concat.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/concat.bend&name=cont
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/eager.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/empty.bend&name=check.role
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/fromrev.bend&name=check.role
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/prefix.bend&name=check.role
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/thunk.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/unused.bend&name=check
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/src.bend&name=Src