def completed

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

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

15def completed(~S:Data,~C:Type,~R:Type,~E:Data,~L:Type,~U:Data,~Out:Data,next:L -> T.Tx<W.World<S,C,R,E>,E> -> L & (T.Tx<W.World<S,C,R,E>,E> & (T.Outcome<Q.Error<U>> & List<&2,Out>)),capture:L,tx:T.Tx<W.World<S,C,R,E>,E>,value:Out,status:T.Outcome<Q.Error<U>>) -> L & (T.Tx<W.World<S,C,R,E>,E> & (T.Outcome<Q.Error<U>> & List<&2,Out>)):
16  match status:
17    case T.Success{}:prepend(~S,~C,~R,~E,~L,~U,~Out,value,next(capture,tx))
18    case T.Failure{error}:(capture,(tx,(T.Failure{error},[])))