def single

bendvy-ecs-core@0.1.0.3 · execution_query_matches.bend:49

import Base

49def single(-V:Data,rows:List<&2,Row<V>>) -> Single<V>:
50  match rows:
51    case []:NoMatch{}
52    case row <> []:One{row}
53    case _ <> _ <> _:Multiple{}