~/jendhub

def fuels

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

import bolt@1.27.0.0/src/rules/pedantic/fuel.bend as Fuel
import Base
import bolt@1.27.0.0/src/rules/calls.bend as Calls

95# every fuel parameter of every def of the file that returns no effect
96def fuels(ds: List<&2, Calls.Def>) -> List<&2, Fuel>:
97  match ds:
98    case Nil{}:
99      Nil{}
100    case Con{Calls.Def{name, sig, body}, rest}:
101      List.append(&2, Fuel, fuels.params(slots(sig, body), name, 0n), fuels(rest))

Uses (6)

Used by (1)