def restored

bendvy-ecs-core@0.1.0.4 · decode_owned_journal.bend:23

import Base
import bendvy-ecs-core@0.1.0.4/bundle_install.bend as Install

23def restored(~World:Type,~P:Type,~Q:Type,next:World -> List<P> -> List<Pending<Q>> -> Returned<World,P,Q>,owners:List<P>,pending:List<Pending<Q>>,result:Install.Restore<World,P,Q>) -> Returned<World,P,Q>:
24  match result:
25    case Install.Restored{world,owner}:next(world,owner <> owners,pending)
26    case Install.Pending{world,owner,error}:next(world,owners,Pending{owner,error} <> pending)