~/jendhub

def edges

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

import bendvy-ecs-core@0.1.0.4/restore_graph_mapping.bend as RestoreGraphMapping
import Base
import bendvy-ecs-core@0.1.0.4/restore_data.bend as Basic
import bendvy-ecs-core@0.1.0.4/relation_types.bend as G

19def edges(~S:Data,values:List<&2,G.Edge<S>>,+bindings:List<&2,Basic.Binding<S>>,graph:G.Graph<S>) -> Mapped<S>:
20  match values:
21    case []:Mapped{graph}
22    case G.Edge{descriptor,+saved,other} <> rest:source(~S,descriptor,saved,other,bindings,Basic.lookup(~S,saved,bindings),graph,graph => edges(~S,rest,bindings,graph))

Uses (7)

Used by (1)