def run

bendvy-ecs-core@0.1.0.4 · check.bend:88

import Base
import world.bend as W

88# Check runtime requirements, then evaluate a cursor-free Bool body through
89# its declared capabilities. Missing requirements return Checked with Fail
90# without invoking body; otherwise Done contains True or False. World is
91# returned on both paths, including any changes made by trusted requirement
92# callbacks. Check itself advances no system/lifecycle/event cursor or clock.
93# No automatic transaction rollback applies to arbitrary setup callbacks.
94# Condition contract and consumers: docs/parity/inspect.md.
95def run(~S:Data,~Store:Type,~R:Type,~E:Data,~Ops:Type -> Type,~A:Data,~body:@-H:Type -> @-caps:Ops(H) -> A -> H -> H & Bool,~plan:Plan<S,Store,R,E,Ops>,args:A,world:W.World<S,Store,R,E>) -> Checked<S,Store,R,E>:
96  ready(~S,~Store,~R,~E,~Ops,~A,~body,~caps_field(~S,~Store,~R,~E,~Ops,plan),args,required_field(~S,~Store,~R,~E,~Ops,plan)(world))