Bolt.perform: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/main.bend as Bolt Lines 34-42 of bolt@1.27.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/main.bend&start_line=34&end_line=42 import Base import bolt@1.27.0.0/src/args.bend as Args import bolt@1.27.0.0/src/stop.bend as Stop # what a parsed line does, done def perform(oo: Args.Out) -> IO(Unit): # noqa: L001 IO driver match oo: case Args.Stop{to, text, code}: do IO: Stop.say(to, text) Stop.leave(code) case Args.Go{cmd, paths}: dispatch(cmd, paths) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/main.bend&name=dispatch https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/args.bend&name=Out https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/stop.bend&name=leave https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/stop.bend&name=say