def committed

bendvy-ecs-core@0.1.0.4 · decode_local.bend:25

import Base
import bendvy-ecs-core@0.1.0.4/local.bend as Local
import bendvy-ecs-core@0.1.0.4/transaction.bend as T

25def committed(~World:Type,~L:Type,~A:Type,~Rows:Data,~Error:Data,~Out:Type,~success:L -> A -> Rows -> L & Out,~failure:L -> A -> L,local:L,args:A,rows:Rows,result:T.Returned<World,Error>) -> Local.Outcome<World,L,Error,Out>:
26  match result:
27    case T.Returned{world,T.Success{}}:succeeded(~World,~L,~Error,~Out,world,success(local,args,rows))
28    case T.Returned{world,T.Failure{error}}:Local.Failed{world,failure(local,args),error}