def single_rows

bendvy-ecs-core@0.1.0.4 · inspector_query.bend:61

import Base
import inspector_query_projection.bend as Q

61def single_rows(~S:Data,~V:Data,rows:List<&2,Q.Row<S,V>>) -> Result<&2,&2,SingleError,Q.Row<S,V>>:
62  match rows:
63    case []:Fail{NoEntities{}}
64    case row <> []:Done{row}
65    case _ <> _ <> rest:Fail{MultipleEntities{Nat.add(2n,List.length(&2,Q.Row<S,V>,rest))}}