~/jendhub

def commit_owned

bendvy-ecs-core@0.1.0.4 · owned_event_family_storage.bend:31

import bendvy-ecs-core@0.1.0.4/owned_event_family_storage.bend as OwnedEventFamilyStorage
import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.4/owned_event_log.bend as Log

31# The transaction adapter calls this after successful canonical ECS finish. One
32# caller batch retains its FIFO; cross-family action order belongs to that adapter,
33# using the existing publication journal, not a regrouping by payload type/family.
34def commit_owned(~S:Data,~C:Type,~R:Type,~P:Type,~Rest:Type,~E:Data,~path:Product.Lens<R,Log.Log<P>,Rest>,~inject:Nat -> E,world:W.World<S,C,R,E>,values:List<P>) -> W.World<S,C,R,E>:
35  published(~S,~C,~R,~E,~inject,with_log(~S,~C,~R,~P,~Rest,~E,~path,~List<&2,Nat>,log => Log.append_many(~P,log,values),world))

Uses (8)

Used by (1)