def live_checked
bendvy-ecs-core@0.1.0.4 · ordinary_app_hierarchy_query.bend:25
import bendvy-ecs-core@0.1.0.4/ordinary_app_hierarchy_query.bend as OrdinaryAppHierarchyQuery
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_relation.bend as Relation
import bendvy-ecs-core@0.1.0.4/world.bend as W
25def live_checked(~S:Data,~C:Type,~R:Type,~E:Data,handle:W.Handle<S>,observed:Relation.World(~S,~C,~R,~E) & Bool,next:Relation.World(~S,~C,~R,~E) -> Relation.World(~S,~C,~R,~E) & List<&2,W.Handle<S>>) -> Relation.World(~S,~C,~R,~E) & List<&2,W.Handle<S>>:
26 match observed:
27 case (world,selected):live_prepend(~S,~C,~R,~E,selected,handle,next(world))