Agda.Utils.Graph.AdjacencyMap.Unidirectional
data Graph s t e
data Edge s t e
transposeEdge
edges
edgesFrom
edgesTo
diagonal
lookup
neighbours
neighboursMap
sourceNodes
targetNodes
data Nodes n
computeNodes
nodes
fromNodes
fromList
fromListWith
toList
discrete
clean
empty
singleton
insert
insertWith
insertEdge
insertEdgeWith
union
unionWith
unions
unionsWith
removeNode
removeEdge
filterEdges
unzip
mapWithEdge
sccs'
sccs
data DAG n
dagInvariant
oppositeDAG
reachable
sccDAG'
sccDAG
acyclic
reachableFrom
walkSatisfying
composeWith
complete
gaussJordanFloydWarshallMcNaughtonYamadaReference
gaussJordanFloydWarshallMcNaughtonYamada