~/jendhub

def target

bendvy-ecs-core@0.1.0.4 · restore_graph_mapping.bend:11

import bendvy-ecs-core@0.1.0.4/restore_graph_mapping.bend as RestoreGraphMapping
import Base
import bendvy-ecs-core@0.1.0.4/entity_key.bend as Key
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/relation_types.bend as G
import bendvy-ecs-core@0.1.0.4/relation_graph.bend as Graph

11def target(~S:Data,descriptor:G.Descriptor<S>,source:W.Handle<S>,saved:Key.Key,result:Maybe<&2,W.Handle<S>>,graph:G.Graph<S>,next:G.Graph<S> -> Mapped<S>) -> Mapped<S>:
12  match source result graph:
13    case _ None{} _:MissingBinding{saved}
14    case W.Handle{_,source} Some{W.Handle{_,target}} G.Graph{edges,inverses}:next(Graph.updated(~S,False{},edges,inverses,descriptor,source,target))

Uses (8)

Used by (1)