def lookup

bendvy-ecs-core@0.1.0.3 · restore_data.bend:38

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

38def lookup(~S:Data,+saved:Key.Key,bindings:List<&2,Binding<S>>) -> Maybe<&2,W.Handle<S>>:
39  match bindings:
40    case []:None{}
41    case Binding{+key,+target} <> rest:
42      lookup_choose(~S,Key.equal(saved,key),target,_ => lookup(~S,saved,rest))