Agda.Utils.Graph.AdjacencyMap
data Graph n e
invariant
edges
edgesFrom
nodes
filterEdges
fromNodes
fromList
empty
singleton
insert
removeNode
removeEdge
union
unions
lookup
neighbours
sccs'
sccs
acyclic
transitiveClosure1
transitiveClosure
findPath
allPaths
nodeIn
edgeIn
tests