def finish_returned

bendvy-ecs-core@0.1.0.4 · owned_compose.bend:52

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

52def 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>,Q.Error<U>>) -> Q.Executed<W.World<S,Store,R,E>,Q.Error<U>,Out>:
53  match returned:
54    case T.Returned{world,T.Success{}}: Q.Executed{world,T.Success{},values}
55    case T.Returned{world,T.Failure{error}}: Q.Executed{world,T.Failure{error},[]}