def run

bendvy-ecs-core@0.1.0.4 · ordinary_resource_field_system.bend:100

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_query_declaration.bend as Q
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/system.bend as Sys

100# Run the actual registry through Sys.run. Full refusal returns registry,
101# World and unconsumed Args; normal completion retains the returned registry and
102# World. This wrapper does not execute the deferred command barrier.
103def run(~S:Data,~C:Type,~R:Type,~E:Data,~Args:Type,~Error:Data,~Out:Type,~run:W.World<S,C,R,E> -> Args -> Sys.Outcome<W.World<S,C,R,E>,Error,Out>,~clauses:List<&2,Q.Clause<S>>,owner:Owner<S,Sys.Registry<S,C,R,E,Args,Error,Out,run>,clauses>,world:W.World<S,C,R,E>,args:Args) -> Sys.RunResult<S,C,R,E,Args,Error,Out,run>:
104  match owner:
105    case Owner{registry}:Sys.run(~S,~C,~R,~E,~Args,~Error,~Out,~run,registry,world,args)