 | fgl-5.4.2.2: Martin Erwig's Functional Graph Library | Contents | Index |
|
| Data.Graph.Inductive.Basic |
|
|
|
|
| Description |
| Basic Graph Algorithms
|
|
| Synopsis |
|
|
|
|
| Graph Operations
|
|
| grev :: DynGraph gr => gr a b -> gr a b |
| Reverse the direction of all edges.
|
|
| undir :: (Eq b, DynGraph gr) => gr a b -> gr a b |
| Make the graph undirected, i.e. for every edge from A to B, there
exists an edge from B to A.
|
|
| unlab :: DynGraph gr => gr a b -> gr () () |
| Remove all labels.
|
|
| gsel :: Graph gr => (Context a b -> Bool) -> gr a b -> [Context a b] |
| Return all Contexts for which the given function returns True.
|
|
| gfold |
| :: Graph gr | | | => Context a b -> [Node] | depth aggregation
| | -> Context a b -> c -> d | breadth/level aggregation
| | -> (Maybe d -> c -> c, c) | | | -> [Node] | | | -> gr a b | | | -> c | | | Directed graph fold.
|
|
|
| Filter Operations
|
|
| efilter :: DynGraph gr => (LEdge b -> Bool) -> gr a b -> gr a b |
| Filter based on edge property.
|
|
| elfilter :: DynGraph gr => (b -> Bool) -> gr a b -> gr a b |
| Filter based on edge label property.
|
|
| Predicates and Classifications
|
|
| hasLoop :: Graph gr => gr a b -> Bool |
| True if the graph has any edges of the form (A, A).
|
|
| isSimple :: Graph gr => gr a b -> Bool |
| The inverse of hasLoop.
|
|
| Tree Operations
|
|
| postorder :: Tree a -> [a] |
| Flatten a Tree, returning the elements in post-order.
|
|
| postorderF :: [Tree a] -> [a] |
| Flatten multiple Trees in post-order.
|
|
| preorder :: Tree a -> [a] |
| Flatten a Tree, returning the elements in pre-order. Equivalent to
flatten in Data.Tree.
|
|
| preorderF :: [Tree a] -> [a] |
| Flatten multiple Trees in pre-order.
|
|
| Produced by Haddock version 2.6.0 |