def effect.next

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

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

71# what follows an arrow: the rest of the header, or the line under it (below)
72# when the arrow ends the header; is it `IO`?
73def effect.next(rest: Tree.Node, +below: Tree.Node) -> Bool:
74  match rest:
75    case Tree.NCons{h, tail}:
76      effect.io(Tree.NCons{h, tail})
77    case other:
78      effect.io(below)