def grant_selected

bendvy-ecs-core@0.1.0.3 · execution_query_admission.bend:141

import bendvy-ecs-core@0.1.0.3/execution_query_admission.bend as ExecutionQueryAdmission
import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W

141def grant_selected(~S:Data,handles:List<&2,W.Handle<S>>,next:Maybe<&2,List<&2,W.Handle<S>>>,selected:Bool) -> Maybe<&2,List<&2,W.Handle<S>>>:
142  match selected:
143    case False{}:next
144    case True{}:Some{handles}

Uses (4)

Used by (1)