Language.Haskell.TH.TypeGraph.Graph

Abstract operations on Maps containing graph edges.

Documentation

type GraphEdges node key = Map key (node, Set key)

graphFromMap :: forall node key. Ord key => GraphEdges node key -> (Graph, Vertex -> (node, key, [key]), key -> Maybe Vertex)

Build a graph from the result of typeGraphEdges, each edge goes from a type to one of the types it contains. Thus, each edge represents a primitive lens, and each path in the graph is a composition of lenses.

cut :: (Eq a, Ord a) => Set a -> GraphEdges node a -> GraphEdges node a

Isolate and remove some nodes

cutM :: (Functor m, Monad m, Eq a, Ord a) => (a -> m Bool) -> GraphEdges node a -> m (GraphEdges node a)

Monadic predicate version of cut.

isolate :: (Eq a, Ord a) => Set a -> GraphEdges node a -> GraphEdges node a

Remove all the in- and out-edges of some nodes

isolateM :: (Functor m, Monad m, Eq a, Ord a) => (a -> m Bool) -> GraphEdges node a -> m (GraphEdges node a)

Monadic predicate version of isolate.

dissolve :: (Eq a, Ord a) => Set a -> GraphEdges node a -> GraphEdges node a

Remove some nodes and extend each of their in-edges to each of their out-edges

dissolveM :: (Functor m, Monad m, Eq a, Ord a) => (a -> m Bool) -> GraphEdges node a -> m (GraphEdges node a)

Monadic predicate version of dissolve.