def site

bolt@1.27.0.0 · src/rules/style/transcong.bend:124

import Base
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/syntax/lex.bend as Lex
import bolt@1.27.0.0/src/syntax/tree.bend as Tree

124# the finding when a node and the chain after it open the shape
125def site(hh: Tree.Node, rest: Tree.Node, +path: String) -> List<&2, F.Finding>:
126  match hh:
127    case Tree.Leaf{Lex.Tok{k, t, +l, +c}}:
128      Bool.pick(List<&2, F.Finding>, Bool.and(Bool.and(Lex.is_name(k), String.eq(t, "Equal.trans")), args(rest)),
129        [cite(l, c, path)], [])
130    case _other:
131      []