def finish_returned

bendvy-ecs-core@0.1.0.4 · compose.bend:238

import Base
import world.bend as W
import transaction.bend as T

238def finish_returned(~S: Data,~Store: Type,~R: Type,~E: Data,~U: Data,~Out: Data,values: List<&2,Out>,returned: T.Returned<W.World<S,Store,R,E>,Error<U>>) -> Executed<W.World<S,Store,R,E>,Error<U>,Out>:
239  match returned:
240    case T.Returned{world,T.Success{}}: Executed{world,T.Success{},values}
241    case T.Returned{world,T.Failure{error}}: Executed{world,T.Failure{error},[]}