Maintainer  Ivan.Miljenovic@gmail.com 

This is the toplevel module for the graphviz library. It provides
functions to convert Graph
s into the
Dot language used by the GraphViz suite of programs (as well as
a limited ability to perform the reverse operation).
Information about GraphViz and the Dot language can be found at: http://graphviz.org/
Commands for converting graphs to Dot format have two options: one in which the user specifies whether the graph is directed or undirected, and a primed version which attempts to automatically infer if the graph is directed or not. Note that these conversion functions assume that undirected graphs have every edge being duplicated (or at least that if there exists an edge from n1 to n2, then n1 <= n2).
 graphToDot :: Graph gr => Bool > gr a b > [GlobalAttributes] > (LNode a > Attributes) > (LEdge b > Attributes) > DotGraph Node
 graphToDot' :: (Ord b, Graph gr) => gr a b > [GlobalAttributes] > (LNode a > Attributes) > (LEdge b > Attributes) > DotGraph Node
 data NodeCluster c a
 = N (LNode a)
  C c (NodeCluster c a)
 clusterGraphToDot :: (Ord c, Graph gr) => Bool > gr a b > [GlobalAttributes] > (LNode a > NodeCluster c a) > (c > Maybe GraphID) > (c > [GlobalAttributes]) > (LNode a > Attributes) > (LEdge b > Attributes) > DotGraph Node
 clusterGraphToDot' :: (Ord c, Ord b, Graph gr) => gr a b > [GlobalAttributes] > (LNode a > NodeCluster c a) > (c > Maybe GraphID) > (c > [GlobalAttributes]) > (LNode a > Attributes) > (LEdge b > Attributes) > DotGraph Node
 type AttributeNode a = (Attributes, a)
 type AttributeEdge b = (Attributes, b)
 graphToGraph :: Graph gr => Bool > gr a b > [GlobalAttributes] > (LNode a > Attributes) > (LEdge b > Attributes) > IO (gr (AttributeNode a) (AttributeEdge b))
 graphToGraph' :: (Ord b, Graph gr) => gr a b > [GlobalAttributes] > (LNode a > Attributes) > (LEdge b > Attributes) > IO (gr (AttributeNode a) (AttributeEdge b))
 dotizeGraph :: Graph gr => Bool > gr a b > gr (AttributeNode a) (AttributeEdge b)
 dotizeGraph' :: (Graph gr, Ord b) => gr a b > gr (AttributeNode a) (AttributeEdge b)
 clusterGraphToGraph :: (Ord c, Graph gr) => Bool > gr a b > [GlobalAttributes] > (LNode a > NodeCluster c a) > (c > Maybe GraphID) > (c > [GlobalAttributes]) > (LNode a > Attributes) > (LEdge b > Attributes) > IO (gr (AttributeNode a) (AttributeEdge b))
 clusterGraphToGraph' :: (Ord b, Ord c, Graph gr) => gr a b > [GlobalAttributes] > (LNode a > NodeCluster c a) > (c > Maybe GraphID) > (c > [GlobalAttributes]) > (LNode a > Attributes) > (LEdge b > Attributes) > IO (gr (AttributeNode a) (AttributeEdge b))
 dotizeClusterGraph :: (Ord c, Graph gr) => Bool > gr a b > (LNode a > NodeCluster c a) > gr (AttributeNode a) (AttributeEdge b)
 dotizeClusterGraph' :: (Ord b, Ord c, Graph gr) => gr a b > (LNode a > NodeCluster c a) > gr (AttributeNode a) (AttributeEdge b)
 module Data.GraphViz.Types
 module Data.GraphViz.Attributes
 module Data.GraphViz.Commands
Conversion from graphs to Dot format.
graphToDot :: Graph gr => Bool > gr a b > [GlobalAttributes] > (LNode a > Attributes) > (LEdge b > Attributes) > DotGraph NodeSource
graphToDot' :: (Ord b, Graph gr) => gr a b > [GlobalAttributes] > (LNode a > Attributes) > (LEdge b > Attributes) > DotGraph NodeSource
Convert a graph to GraphViz's Dot format with automatic direction detection.
Conversion with support for clusters.
data NodeCluster c a Source
Define into which cluster a particular node belongs. Clusters can be nested to arbitrary depth.
N (LNode a)  Indicates the actual Node in the Graph. 
C c (NodeCluster c a)  Indicates that the

(Show c, Show a) => Show (NodeCluster c a) 
clusterGraphToDot :: (Ord c, Graph gr) => Bool > gr a b > [GlobalAttributes] > (LNode a > NodeCluster c a) > (c > Maybe GraphID) > (c > [GlobalAttributes]) > (LNode a > Attributes) > (LEdge b > Attributes) > DotGraph NodeSource
clusterGraphToDot' :: (Ord c, Ord b, Graph gr) => gr a b > [GlobalAttributes] > (LNode a > NodeCluster c a) > (c > Maybe GraphID) > (c > [GlobalAttributes]) > (LNode a > Attributes) > (LEdge b > Attributes) > DotGraph NodeSource
Convert a graph to Dot format, using the specified clustering function to group nodes into clusters. Clusters can be nested to arbitrary depth. Graph direction is automatically inferred.
Passing the graph through GraphViz.
Type aliases for Node
and Edge
labels.
type AttributeNode a = (Attributes, a)Source
type AttributeEdge b = (Attributes, b)Source
For normal graphs.
graphToGraph :: Graph gr => Bool > gr a b > [GlobalAttributes] > (LNode a > Attributes) > (LEdge b > Attributes) > IO (gr (AttributeNode a) (AttributeEdge b))Source
Run the appropriate GraphViz command on the graph to get positional information and then combine that information back into the original graph. Note that for the edge information to be parsed properly when using multiple edges, each edge between two nodes needs to have a unique label.
The Bool
argument is True
for directed graphs, False
otherwise. Directed graphs are passed through dot, and
undirected graphs through neato.
graphToGraph' :: (Ord b, Graph gr) => gr a b > [GlobalAttributes] > (LNode a > Attributes) > (LEdge b > Attributes) > IO (gr (AttributeNode a) (AttributeEdge b))Source
Run the appropriate GraphViz command on the graph to get positional information and then combine that information back into the original graph.
Graph direction is automatically inferred.
dotizeGraph :: Graph gr => Bool > gr a b > gr (AttributeNode a) (AttributeEdge b)Source
Pass the graph through graphToGraph
with no Attribute
s. This
is an
action, however since the state doesn't change it's
safe to use IO
unsafePerformIO
to convert this to a normal
function.
The Bool
argument is True
for directed graphs, False
otherwise. Directed graphs are passed through dot, and
undirected graphs through neato.
dotizeGraph' :: (Graph gr, Ord b) => gr a b > gr (AttributeNode a) (AttributeEdge b)Source
Pass the graph through graphToGraph
with no Attribute
s. This
is an
action, however since the state doesn't change it's
safe to use IO
unsafePerformIO
to convert this to a normal
function.
The graph direction is automatically inferred.
For clustered graphs.
clusterGraphToGraph :: (Ord c, Graph gr) => Bool > gr a b > [GlobalAttributes] > (LNode a > NodeCluster c a) > (c > Maybe GraphID) > (c > [GlobalAttributes]) > (LNode a > Attributes) > (LEdge b > Attributes) > IO (gr (AttributeNode a) (AttributeEdge b))Source
Run the appropriate GraphViz command on the clustered graph to get positional information and then combine that information back into the original graph. Note that for the edge information to be parsed properly when using multiple edges, each edge between two nodes needs to have a unique label.
The Bool
argument is True
for directed graphs, False
otherwise. Directed graphs are passed through dot, and
undirected graphs through neato.
clusterGraphToGraph' :: (Ord b, Ord c, Graph gr) => gr a b > [GlobalAttributes] > (LNode a > NodeCluster c a) > (c > Maybe GraphID) > (c > [GlobalAttributes]) > (LNode a > Attributes) > (LEdge b > Attributes) > IO (gr (AttributeNode a) (AttributeEdge b))Source
Run the appropriate GraphViz command on the clustered graph to get positional information and then combine that information back into the original graph.
Graph direction is automatically inferred.
dotizeClusterGraph :: (Ord c, Graph gr) => Bool > gr a b > (LNode a > NodeCluster c a) > gr (AttributeNode a) (AttributeEdge b)Source
Pass the clustered graph through clusterGraphToGraph
with no
Attribute
s. This is an
action, however since the state
doesn't change it's safe to use IO
unsafePerformIO
to convert this
to a normal function.
The Bool
argument is True
for directed graphs, False
otherwise. Directed graphs are passed through dot, and
undirected graphs through neato.
dotizeClusterGraph' :: (Ord b, Ord c, Graph gr) => gr a b > (LNode a > NodeCluster c a) > gr (AttributeNode a) (AttributeEdge b)Source
Pass the clustered graph through graphToGraph
with no
Attribute
s. This is an
action, however since the state
doesn't change it's safe to use IO
unsafePerformIO
to convert this
to a normal function.
The graph direction is automatically inferred.
Reexporting other modules.
module Data.GraphViz.Types
module Data.GraphViz.Attributes
module Data.GraphViz.Commands