def run_with_skip

bendvy-ecs-core@0.1.0.4 · schedule_checked.bend:32

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

32# Run ordered steps with fallible conditions and an explicit false-condition
33# skip callback. Foreign namespace rejects before callbacks; condition failure
34# stops with returned World/owners and prior observations. Explicit Barrier steps
35# apply World.barrier; completion adds no final flush or schedule-wide rollback.
36# Dispatch, condition and skip are trusted adapters with their own effect contracts.
37def run_with_skip(~S: Data,~C: Type,~R: Type,~E: Data,~H: Type,~Error: Data,~skip: H -> W.World<S,C,R,E> -> U32 -> H & W.World<S,C,R,E>,~dispatch: H -> W.World<S,C,R,E> -> U32 -> H & Sys.Outcome<W.World<S,C,R,E>,Error,Unit>,~condition: W.World<S,C,R,E> -> U32 -> W.World<S,C,R,E> & Result<Error,Bool>,schedule: Sch.Schedule<S,C,R,E,H>,world: W.World<S,C,R,E>) -> Sch.RunResult<S,C,R,E,H,Error>:
38  run_namespace_skip(~S,~C,~R,~E,~H,~Error,~skip,~dispatch,~condition,schedule,W.namespace(~S,~C,~R,~E,world))