def reconciled

bendvy-ecs-core@0.1.0.4 · owned_event_runtime.bend:45

import Base
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev
import bendvy-ecs-core@0.1.0.4/transaction.bend as T
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap
import bendvy-ecs-core@0.1.0.4/owned_event_storage.bend as Storage
import bendvy-ecs-core@0.1.0.4/ordinary_owned_event.bend as Ord

45def reconciled(~S:Data,~C:Type,~R:Type,~P:Type,~Request:Type,~Projection:Data,~Args:Type,~Error:Data,~identity:Ord.Domain<S,P>,~at:P -> Request -> P & Projection,~body:@-H:Type -> @-read:Cap.Request<H,Request,Projection> -> H -> Args -> H & (T.Outcome<Error> & Args),old:List<&2,Ev.Position>,id:U32,result:Ev.RunResult<S,C,Storage.Resources<R,P>,Nat,Args,Unit,Reply<Error,Args>,runner(~S,~C,~R,~P,~Request,~Projection,~Args,~Error,~identity,~at,~body)>) -> Ev.RunResult<S,C,Storage.Resources<R,P>,Nat,Args,Unit,Reply<Error,Args>,runner(~S,~C,~R,~P,~Request,~Projection,~Args,~Error,~identity,~at,~body)>:
46  match result:
47    case Ev.Ran{runtime,reader,registry,Ev.Succeeded{Reply{T.Failure{error},args,lagged}}}:
48      Ev.Ran{failed_positions(~S,~C,~R,~P,old,id,runtime),reader,registry,Ev.Succeeded{Reply{T.Failure{error},args,lagged}}}
49    case result:result