def target_returned

bendvy-ecs-core@0.1.0.3 · execution_relation_access.bend:42

import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W
import bendvy-ecs-core@0.1.0.3/relation_types.bend as T
import bendvy-ecs-core@0.1.0.3/execution_relation_store.bend as Store

42def target_returned(~S:Data,~descriptor:T.Descriptor<S>,~H:Type,expected:U32,source:W.Handle<S>,result:H & Store.View<S,descriptor>) -> H & Lookup<Maybe<&2,W.Handle<S>>>:
43  match result:
44    case (owner,view):(owner,target_view(~S,~descriptor,expected,source,view))