~/jendhub

def composed_single_rows

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

import bendvy-ecs-core@0.1.0.4/inspector_query.bend as InspectorQuery
import Base

129def composed_single_rows(~S:Data,~V:Data,rows:List<&2,ProjectedRow<S,V>>) -> Result<&2,&2,SingleError,ProjectedRow<S,V>>:
130  match rows:
131    case []:Fail{NoEntities{}}
132    case row <> []:Done{row}
133    case _ <> _ <> rest:Fail{MultipleEntities{Nat.add(2n,List.length(&2,ProjectedRow<S,V>,rest))}}

Uses (6)

Used by (1)