def Def.params

bend-lint-api@0.2.0.0 · linter/lint.bend:879

import Base
import bend-lint-api@0.2.0.0/shared/lists.bend as Lists

879# The runtime parameters among a definition's nodes, in order, onto `out`.
880def Def.params(nodes: List<&2, Node>, out: List<&2, Param>) -> List<&2, Param>:
881  match nodes:
882    case Nil{}:
883      List.reverse(&2, Param, out)
884    case Con{Node{Parameter{b, q}, n, s, kids, f}, rest}:
885      Def.params(
886        rest,
887        Lists.push(Param, Lists.when(Param, Quantity.is_runtime(q), Param{n, type_name(kids)}), out)
888      )
889    case Con{node, rest}:
890      Def.params(rest, out)