Package: effect
Module: Graph
Gets the edge data associated with an edge index, if it exists.
Example
import { Graph, Option } from "effect"
const graph = Graph.mutate(Graph.directed<string, number>(), (mutable) => {
const nodeA = Graph.addNode(mutable, "Node A")
const nodeB = Graph.addNode(mutable, "Node B")
Graph.addEdge(mutable, nodeA, nodeB, 42)
})
const edgeIndex = 0
const edgeData = Graph.getEdge(graph, edgeIndex)
if (Option.isSome(edgeData)) {
console.log(edgeData.value.data) // 42
console.log(edgeData.value.source) // NodeIndex(0)
console.log(edgeData.value.target) // NodeIndex(1)
}
Signature
declare const getEdge: <N, E, T extends Kind = "directed">(graph: Graph<N, E, T> | MutableGraph<N, E, T>, edgeIndex: EdgeIndex) => Option.Option<Edge<E>>
Since v3.18.0