def selected

bendvy-ecs-core@0.1.0.4 · ordinary_dump_eligibility.bend:23

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/schema_fragments.bend as Fragment
import bendvy-ecs-core@0.1.0.4/ordinary_dump_filter.bend as Filter

23def selected(~S:Data,~C:Type,entries:List<&2,Fragment.Entry<S>>,criteria:List<&2,Filter.Component<S>>,handle:W.Handle<S>,limit:Maybe<&2,Nat>,rest:C -> Maybe<&2,Nat> -> C & List<&2,W.Handle<S>>,result:C & List<&2,Maybe<&2,U32>>) -> C & List<&2,W.Handle<S>>:
24  match result:
25    case (store,slots):required(~S,~C,handle,limit,rest,store,Filter.requirements(~S,criteria,present(~S,List.zip(&2,Fragment.Entry<S>,&2,Maybe<&2,U32>,Fragment.bare_entries(~S,entries),slots))))