ExecutionQueryInterpreter.selected_handles: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_query_interpreter.bend as ExecutionQueryInterpreter
Lines 128-132 of bendvy-ecs-core@0.1.0.3/execution_query_interpreter.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_interpreter.bend&start_line=128&end_line=132

import Base
import bendvy-ecs-core@0.1.0.3/execution_query.bend as Q
import bendvy-ecs-core@0.1.0.3/world.bend as W

def selected_handles(~S:Data,~V:Data,rows:List<&2,Q.GeneralRow<S,V>>) -> List<&2,W.Handle<S>>:
  match rows:
    case []:[]
    case Q.GeneralRow{handle,Some{_}} <> rest:handle <> selected_handles(~S,~V,rest)
    case Q.GeneralRow{_,None{}} <> rest:selected_handles(~S,~V,rest)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query.bend&name=GeneralRow
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=Handle