def completed
bendvy-ecs-core@0.1.0.4 · compose.bend:199
import bendvy-ecs-core@0.1.0.4/compose.bend as Compose
import Base
import world.bend as W
import transaction.bend as T
199def completed(~S: Data,~Store: Type,~R: Type,~E: Data,~U: Data,~Out: Data,next: T.Tx<W.World<S,Store,R,E>,E> -> T.Tx<W.World<S,Store,R,E>,E> & (T.Outcome<Error<U>> & List<&2,Out>),tx: T.Tx<W.World<S,Store,R,E>,E>,value: Out,result: T.Outcome<Error<U>>) -> T.Tx<W.World<S,Store,R,E>,E> & (T.Outcome<Error<U>> & List<&2,Out>):
200 match result:
201 case T.Success{}: prepend(~S,~Store,~R,~E,~U,~Out,value,next(tx))
202 case T.Failure{error}: (tx,(T.Failure{error},[]))