InspectorQuery.optional_rows: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/inspector_query.bend as InspectorQuery
Lines 73-77 of bendvy-ecs-core@0.1.0.4/inspector_query.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/inspector_query.bend&start_line=73&end_line=77

import Base
import inspector_query_projection.bend as Q

def optional_rows(~S:Data,~V:Data,rows:List<&2,Q.Row<S,V>>) -> Result<&2,&2,SingleError,Maybe<&2,Q.Row<S,V>>>:
  match rows:
    case []:Done{None{}}
    case row <> []:Done{Some{row}}
    case _ <> _ <> rest:Fail{MultipleEntities{Nat.add(2n,List.length(&2,Q.Row<S,V>,rest))}}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/inspector_query.bend&name=SingleError
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/inspector_query_projection.bend&name=Row