Algebra.Graph.IntAdjacencyMap

Data structure

data IntAdjacencyMap

adjacencyMap

Basic graph construction primitives

empty

vertex

edge

overlay

connect

vertices

edges

overlays

connects

graph

fromAdjacencyList

Relations on graphs

isSubgraphOf

Graph properties

isEmpty

hasVertex

hasEdge

vertexCount

edgeCount

vertexList

edgeList

adjacencyList

vertexSet

edgeSet

postset

Standard families of graphs

path

circuit

clique

biclique

star

tree

forest

Graph transformation

removeVertex

removeEdge

replaceVertex

mergeVertices

gmap

induce

Algorithms

dfsForest

topSort

isTopSort

Interoperability with King-Launchbury graphs

data GraphKL

getGraph

getVertex

graphKL

fromGraphKL