def selected_handle

bendvy-ecs-core@0.1.0.3 · execution_query.bend:93

import bendvy-ecs-core@0.1.0.3/execution_query.bend as ExecutionQuery

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

93def selected_handle(~S:Data,+index:U32,handles:List<&2,W.Handle<S>>) -> Maybe<&2,W.Handle<S>>:
94  match handles:
95    case []:None{}
96    case +handle <> rest:handle_choice(~S,handle,selected_handle(~S,index,rest),U32.is_eq(U32.add(index,1),W.handle_index(~S,handle)))

Uses (8)

Used by (2)