Agda.Utils.Graph.AdjacencyMap.Unidirectional
data Graph s t e
data Edge s t e
transposeEdge
edges
edgesFrom
edgesTo
diagonal
lookup
neighbours
sourceNodes
targetNodes
data Nodes n
computeNodes
nodes
fromNodes
fromList
fromListWith
toList
empty
singleton
insert
insertWith
insertEdge
insertEdgeWith
union
unionWith
unions
unionsWith
removeNode
removeEdge
filterEdges
unzip
sccs'
sccs
acyclic
composeWith
transitiveClosure1
transitiveClosure
findPath
allPaths
nodeIn
edgeIn
tests