def visited

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

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/transaction.bend as T
import bendvy-ecs-core@0.1.0.4/owned_event_log.bend as Log
import bendvy-ecs-core@0.1.0.4/owned_event_storage.bend as Storage

20def visited(~S:Data,~C:Type,~R:Type,~P:Type,~Args:Type,~Error:Data,lagged:Bool,next:W.World<S,C,Storage.Resources<R,P>,Nat> -> Args -> W.World<S,C,Storage.Resources<R,P>,Nat> & Reply<Error,Args>,result:W.World<S,C,Storage.Resources<R,P>,Nat> & Log.ReadResult<Args,T.Outcome<Error> & Args>) -> W.World<S,C,Storage.Resources<R,P>,Nat> & Reply<Error,Args>:
21  match result:
22    case (world,Log.Missing{args}):stopped(~S,~C,~R,~P,~Args,~Error,world,args,T.Failure{MissingPayload{}},lagged)
23    case (world,Log.Found{(T.Failure{error},args)}):stopped(~S,~C,~R,~P,~Args,~Error,world,args,T.Failure{BodyFailed{error}},lagged)
24    case (world,Log.Found{(T.Success{},args)}):next(world,args)