def grant_handles

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

import Base
import bendvy-ecs-core@0.1.0.3/execution_query_recipe.bend as Recipe
import bendvy-ecs-core@0.1.0.3/world.bend as W

145def grant_handles(~S:Data,~WC:Type,+entry:Recipe.Entry,grants:List<&2,Granted<S,WC>>) -> Maybe<&2,List<&2,W.Handle<S>>>:
146  match grants:
147    case []:None{}
148    case Granted{at,handles} <> rest:grant_selected(~S,handles,grant_handles(~S,~WC,entry,rest),same_entry(entry,at))