Function mergeEdgesInto

dashboard/graph/src/explorerState.ts:28–35

(
  previous: ReadonlyMap<string, GraphEdge>,
  edges: GraphEdge[],
)

}

export function mergeEdgesInto(
  previous: ReadonlyMap<string, GraphEdge>,
  edges: GraphEdge[],
): Map<string, GraphEdge> {
  const next = new Map(previous);
  for (const edge of edges) next.set(edgeKey(edge), edge);
  return next;
}

export function applyGraphFilters(
  graphNodes: Iterable<GraphNode>,