InspectorQuery.single_optional_composed: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/inspector_query.bend as InspectorQuery
Lines 149-152 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=149&end_line=152

import Base

# Return None for zero composed rows or Some for exactly one; multiple
# matches return MultipleEntities. Retains H and never selects an arbitrary row.
def single_optional_composed(~H:Type,~S:Data,~V:Data,~cap:ComposedReadQuery<H,S,V>,owner:H) -> H & Result<&2,&2,SingleError,Maybe<&2,ProjectedRow<S,V>>>:
  composed_optional_observed(~H,~S,~V,each_composed(~H,~S,~V,~cap,owner))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  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=ComposedReadQuery
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/inspector_query.bend&name=ProjectedRow
  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.bend&name=composed_optional_observed
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/inspector_query.bend&name=each_composed