~/jendhub

def inverse_returned

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

import bendvy-ecs-core@0.1.0.3/execution_relation_access.bend as ExecutionRelationAccess
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

45def inverse_returned(~S:Data,~descriptor:T.Descriptor<S>,~H:Type,expected:U32,target:W.Handle<S>,result:H & Store.View<S,descriptor>) -> H & Lookup<List<&2,W.Handle<S>>>:
46  match result:
47    case (owner,view):(owner,inverse_view(~S,~descriptor,expected,target,view))

Uses (9)

Used by (1)