def returned

bendvy-ecs-core@0.1.0.4 · capture_query.bend:30

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/transaction.bend as T

30def returned(~S:Data,~C:Type,~R:Type,~E:Data,~L:Type,~U:Data,~Out:Data,capture:L,values:List<&2,Out>,result:T.Returned<W.World<S,C,R,E>,Q.Error<U>>) -> Executed<W.World<S,C,R,E>,L,Q.Error<U>,Out>:
31  match result:
32    case T.Returned{world,T.Success{}}:Executed{world,capture,T.Success{},values}
33    case T.Returned{world,T.Failure{error}}:Executed{world,capture,T.Failure{error},[]}