def recovered

bendvy-ecs-core@0.1.0.4 · optimized_compose.bend:12

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

12def recovered(~S:Data,~Store:Type,~R:Type,~E:Data,~U:Data,~Out:Data,~recover:Store -> Store,result:Q.Executed<W.World<S,Store,R,E>,Q.Error<U>,Out>) -> Q.Executed<W.World<S,Store,R,E>,Q.Error<U>,Out>:
13  match result:
14    case Q.Executed{world,outcome,values}: Q.Executed{map_store(~S,~Store,~R,~E,~recover,world),outcome,values}