def composed_runtime_match_right

bendvy-ecs-core@0.1.0.4 · inspector_query.bend:219

import Base
import world.bend as W

219# Runtime-data composed relation path. Static component authority remains a
220# DeclaredSelection Type, while a Data relation argument is shared by the
221# query's enumeration and lookup closures. The two static relation workers
222# preserve the existing short-circuit and projection order without storing or
223# duplicating affine closures.
224def composed_runtime_match_right(~H:Type,~S:Data,~A:Data,~Arg:Data,~relation_matches:Arg -> H -> W.Handle<S> -> H & Bool,+target:W.Handle<S>,argument:Arg,observed:H & Bool) -> H & Bool:
225  match observed:
226    case (owner,False{}):(owner,False{})
227    case (owner,True{}):relation_matches(argument,owner,target)