~/jendhub

def scope_observed

bendvy-ecs-core@0.1.0.4 · compose.bend:351

import bendvy-ecs-core@0.1.0.4/compose.bend as Compose
import Base
import bendvy-ecs-core@0.1.0.4/trace_facts.bend as TraceFacts
import world.bend as W

351# Trace-aware advanced supplied-list execution adapter. Retains the same one-Tx
352# finish and output-clearing behavior as reserved, returning actual trace state
353# separately; operation facts do not assert that failed writes committed.
354def scope_observed(~S:Data,~Store:Type,~R:Type,~E:Data,~U:Data,~Out:Data,owned:Bool,result:Executed<W.World<S,Store,R,E>,Error<U>,Out> & TraceFacts.State) -> Executed<W.World<S,Store,R,E>,Error<U>,Out> & TraceFacts.State:
355  (executed,trace)=result
356  (scope_finished(~S,~Store,~R,~E,~U,~Out,owned,executed),trace)

Uses (8)

Used by (1)