~/jendhub

def commit_owned

bendvy-ecs-core@0.1.0.4 · owned_event_storage.bend:34

import bendvy-ecs-core@0.1.0.4/owned_event_storage.bend as OwnedEventStorage
import Base

34# Called only after successful canonical transaction finish: owners and IDs publish
35# in the same FIFO order. Failure/abort transport remains the ordinary adapter's job.
36def commit_owned(~S:Data,~C:Type,~R:Type,~P:Type,world:World(~S,~C,~R,~P),values:List<P>) -> World(~S,~C,~R,~P):
37  publish_ids(~S,~C,~R,~P,with_resources(~S,~C,~R,~P,~List<&2,Nat>,resources => append_resources(~R,~P,values,resources),world))

Uses (6)

Used by (2)