bolt@1.26.0.0

Files (78)

• main.bend3 definitions
• src/args.bend26 definitions
• src/build_rev.bend1 definition
• src/check.bend14 definitions
• src/codes.bend10 definitions
• src/config.bend36 definitions
• src/finding.bend3 definitions
• src/lazy/lazy.bend4 definitions
• src/lint.bend11 definitions
• src/lint/plan.bend77 definitions
• src/lint/world.bend16 definitions
• src/lsp/checker/answer.bend8 definitions
• src/lsp/checker/argv.bend6 definitions
• src/lsp/checker/bend.bend7 definitions
• src/lsp/checker/names.bend7 definitions
• src/lsp/docs.bend7 definitions
• src/lsp/enc.bend26 definitions
• src/lsp/files/disk.bend12 definitions
• src/lsp/files/service.bend6 definitions
• src/lsp/frame.bend34 definitions
• src/lsp/nav.bend40 definitions
• src/lsp/path.bend4 definitions
• src/lsp/proto.bend40 definitions
• src/lsp/report.bend22 definitions
• src/lsp/run.bend1 definition
• src/lsp/semantic.bend50 definitions
• src/lsp/server.bend66 definitions
• src/lsp/transport/service.bend3 definitions
• src/lsp/transport/stdio.bend12 definitions
• src/noqa.bend28 definitions
• src/paths.bend7 definitions
• src/rchars.bend2 definitions
• src/role.bend24 definitions
• src/rules.bend14 definitions
• src/rules/calls.bend35 definitions
• src/rules/correctness/arms.bend13 definitions
• src/rules/correctness/escape.bend14 definitions
• src/rules/correctness/hole.bend6 definitions
• src/rules/correctness/pick.bend25 definitions
• src/rules/correctness/put.bend8 definitions
• src/rules/correctness/setting.bend2 definitions
• src/rules/correctness/twice.bend8 definitions
• src/rules/digest.bend36 definitions
• src/rules/imports.bend18 definitions
• src/rules/laws/closed.bend5 definitions
• src/rules/laws/law.bend15 definitions
• src/rules/pedantic/foreign.bend11 definitions
• src/rules/pedantic/fuel.bend16 definitions
• src/rules/pedantic/index.bend6 definitions
• src/rules/pedantic/rewalk.bend101 definitions
• src/rules/pedantic/strict.bend10 definitions
• src/rules/pedantic/tail.bend4 definitions
• src/rules/perf/chars.bend6 definitions
• src/rules/perf/strings.bend12 definitions
• src/rules/style/doc.bend11 definitions
• src/rules/style/noqa.bend10 definitions
• src/rules/style/param.bend10 definitions
• src/rules/style/space.bend9 definitions
• src/rules/style/transcong.bend17 definitions
• src/rules/style/wrap.bend97 definitions
• src/rules/suspicious/concat.bend37 definitions
• src/rules/suspicious/eager.bend10 definitions
• src/rules/suspicious/fromrev.bend5 definitions
• src/rules/suspicious/prefix.bend33 definitions
• src/rules/suspicious/thunk.bend13 definitions
• src/rules/suspicious/unused.bend28 definitions
• src/rules/table.bend25 definitions
• src/rules/tokens.bend13 definitions
• src/src.bend2 definitions
• src/status.bend1 definition
• src/stop.bend3 definitions
• src/syntax/bind.bend110 definitions
• src/syntax/lex.bend31 definitions
• src/syntax/outline.bend80 definitions
• src/syntax/tree.bend52 definitions
• src/syntax/word.bend23 definitions
• src/version.bend1 definition
• src/walk/disk.bend9 definitions