def fuels.params

bolt@1.27.0.0 · src/rules/pedantic/fuel.bend:45

import Base
import bolt@1.27.0.0/src/syntax/tree.bend as Tree
import bolt@1.27.0.0/src/rules/calls.bend as Calls

45# the fuel parameters among a def's parameters, from position i on
46def fuels.params(ps: List<&2, Tree.Node>, +name: String, +ii: Nat) -> List<&2, Fuel>:
47  match ps:
48    case Nil{}:
49      Nil{}
50    case Con{p, rest}:
51      +more = fuels.params(rest, name, 1n+ii)
52      Bool.pick(List<&2, Fuel>, is_fuel(Calls.param_name(p)), Fuel{name, ii} <> more, more)