ExecutionQuery.general_rows_single: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_query.bend as ExecutionQuery
Lines 148-152 of bendvy-ecs-core@0.1.0.3/execution_query.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_query.bend&start_line=148&end_line=152

import Base

def general_rows_single(~S:Data,~V:Data,rows:List<&2,GeneralRow<S,V>>) -> GeneralSingle<S,V>:
  match rows:
    case []:NoSelectedRow{}
    case row <> []:OneSelectedRow{row}
    case _ <> _ <> _:MultipleSelectedRows{}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/execution_query.bend&name=GeneralSingle