transpose package:algebraic-graphs

Transpose a given graph. Complexity: O(s) time, memory and size. Good consumer and producer.
transpose empty       == empty
transpose (vertex x)  == vertex x
transpose (edge x y)  == edge y x
transpose . transpose == id
transpose (box x y)   == box (transpose x) (transpose y)
edgeList . transpose  == sort . map swap . edgeList
Transpose a given acyclic graph. Complexity: O(m * log(n)) time, O(n + m) memory.
transpose empty       == empty
transpose (vertex x)  == vertex x
transpose . transpose == id
edgeList . transpose  == sort . map swap . edgeList
Transpose a given graph. Complexity: O(m * log(n)) time, O(n + m) memory.
transpose empty       == empty
transpose (vertex x)  == vertex x
transpose (edge x y)  == edge y x
transpose . transpose == id
edgeList . transpose  == sort . map swap . edgeList
Transpose a given graph. Complexity: O(m * log(n)) time, O(n + m) memory.
transpose empty       == empty
transpose (vertex x)  == vertex x
transpose (edge x y)  == edge y x
transpose . transpose == id
edgeList . transpose  == sort . map swap . edgeList
Transpose a given graph. Complexity: O(s) time, memory and size.
transpose empty        == empty
transpose (vertex x)   == vertex x
transpose (edge e x y) == edge e y x
transpose . transpose  == id
Transpose a given graph. Complexity: O(m * log(n)) time, O(n + m) memory.
transpose empty        == empty
transpose (vertex x)   == vertex x
transpose (edge e x y) == edge e y x
transpose . transpose  == id
Transpose a given graph. Complexity: O(s) time, memory and size.
transpose (vertex x)  == vertex x
transpose (edge x y)  == edge y x
transpose . transpose == id
transpose (box x y)   == box (transpose x) (transpose y)
edgeList . transpose  == sort . map swap . edgeList
Transpose a given graph. Complexity: O(m * log(n)) time, O(n + m) memory.
transpose (vertex x)  == vertex x
transpose (edge x y)  == edge y x
transpose . transpose == id
edgeList . transpose  == sort . map swap . edgeList
Transpose a given graph. Complexity: O(m * log(m)) time.
transpose empty       == empty
transpose (vertex x)  == vertex x
transpose (edge x y)  == edge y x
transpose . transpose == id
edgeList . transpose  == sort . map swap . edgeList
The transposed adjacency map of a graph: each vertex is associated with a set of its direct predecessors. Like adjacencyMapTranspose but specialised for graphs with vertices of type Int.
adjacencyIntMapTranspose == Algebra.Graph.AdjacencyIntMap.adjacencyIntMap . toAdjacencyIntMapTranspose
The transposed adjacency map of a graph: each vertex is associated with a set of its direct predecessors.
adjacencyMapTranspose == Algebra.Graph.AdjacencyMap.adjacencyMap . toAdjacencyMapTranspose
Convert a value to the corresponding AdjacencyIntMap and transpose the result.
toAdjacencyIntMapTranspose == foldg empty vertex overlay (flip connect)
Convert a value to the corresponding AdjacencyMap and transpose the result.
toAdjacencyMapTranspose == foldg empty vertex overlay (flip connect)