def required

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

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

19def required(~S:Data,~C:Type,handle:W.Handle<S>,limit:Maybe<&2,Nat>,rest:C -> Maybe<&2,Nat> -> C & List<&2,W.Handle<S>>,store:C,include:Bool) -> C & List<&2,W.Handle<S>>:
20  match include:
21    case True{}:kept(~S,~C,handle,rest(store,Filter.decrement(limit)))
22    case False{}:rest(store,limit)