def settle

ezx@1.11.0.0 · src/lock/run.bend:724

import Base
import ezx@1.11.0.0/src/lock/world.bend as W

724# every member's package, so
725def settle(rs: List<&2, W.Reply>, +lib: String) -> IO(List<&2, W.Reply>):
726  match rs:
727    case []:
728      IO.pure(List<&2, W.Reply>, [])
729    case hd <> tl:
730      do IO<List<&2, W.Reply>>:
731        rp : W.Reply <- settle.one(hd, lib)
732        rest : List<&2, W.Reply> <- settle(tl, lib)
733        return rp <> rest