def finished

bendvy-ecs-core@0.1.0.4 · ordinary_capture_query.bend:16

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/compose.bend as Q
import bendvy-ecs-core@0.1.0.4/capture_query.bend as Fold
import bendvy-ecs-core@0.1.0.4/local.bend as Local
import bendvy-ecs-core@0.1.0.4/transaction.bend as T

16def finished(~S:Data,~C:Type,~R:Type,~E:Data,~L:Type,~U:Data,~Out:Data,result:Fold.Executed<W.World<S,C,R,E>,L,Q.Error<U>,Out>) -> Local.Outcome<W.World<S,C,R,E>,L,Q.Error<U>,List<&2,Out>>:
17  match result:
18    case Fold.Executed{world,capture,T.Success{},values}:Local.Succeeded{world,capture,values}
19    case Fold.Executed{world,capture,T.Failure{error},_}:Local.Failed{world,capture,error}