Run.settle: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/lock/run.bend as Run Lines 724-733 of ezx@1.11.0.0/src/lock/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/run.bend&start_line=724&end_line=733 import Base import ezx@1.11.0.0/src/lock/world.bend as W # every member's package, so def settle(rs: List<&2, W.Reply>, +lib: String) -> IO(List<&2, W.Reply>): match rs: case []: IO.pure(List<&2, W.Reply>, []) case hd <> tl: do IO>: rp : W.Reply <- settle.one(hd, lib) rest : List<&2, W.Reply> <- settle(tl, lib) return rp <> rest 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=IO.pure https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/run.bend&name=settle.one https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Reply