Run.hop.at: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ws/run.bend as Run Lines 102-110 of ezx@1.11.0.0/src/ws/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/run.bend&start_line=102&end_line=110 import Base import ezx@1.11.0.0/src/ws/hop.bend as H # a command acted on as its hop says def hop.at(hop: H.Hop, go: Unit -> IO(Unit)) -> IO(Unit): match hop: case H.Here{}: go(Unit{}) case H.Stop{why}: IO.die(Unit, 1, why) case H.Hop{dir}: hop.run(dir) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.die https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/hop.bend&name=Hop https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/run.bend&name=hop.run