def calls.of

bend-lint-rules@0.2.0.0 · performance/repeated_call.bend:245

import Base
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
import bend-lint-rules@0.2.0.0/performance/loop_invariant_call.bend as Invariant

245# The calls of a definition (`node`) that count, unless it is a proof.
246def calls.of(
247  proof: Bool,
248  loops: List<&2, String>,
249  defs: Map<&2, Maybe<&2, Lint.Def>>,
250  +node: Lint.Node
251) -> List<&2, Call>:
252  match proof:
253    case True{}:
254      []
255    case False{}:
256      Lint.visit(~Scope, ~Call, ~visit, Scope{Invariant.Owner.of(loops, node), defs}, [node])