def info_at

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

import Base
import bendvy-ecs-core@0.1.0.3/execution_query_schema.bend as Schema
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as L

25def info_at(+route:L.Route,info:List<&2,Schema.Info>) -> Maybe<&2,Schema.Info>:
26  match info:
27    case []:None{}
28    case +head <> rest:info_selected(head,info_at(route,rest),info_matches(route,head))