A library for graph visualization with Graphviz.
viewDotGraph
:: DotGraph -> IO ()
Visualize a DOT graph with the dotviewcommand
specified in
the rc file of the Curry system.
|
getDotViewCmd
:: IO String
Read the command for viewing dot files from the rc file of the Curry system. |
setDotViewCmd
:: String -> IO ()
Sets the command for viewing dot files in the rc file of the Curry system. |
A Dot graph consists of a name and a list of nodes and edges.
Constructors:
A node of a dot graph consists of a name and a list of attributes for this node.
Constructors:
Node
:: String -> [(String,String)] -> Node
An edge of a dot graph consists of the names of the source and target node and a list of attributes for this edge.
Constructors:
Edge
:: String -> String -> [(String,String)] -> Edge
Visualize a DOT graph with the |
Read the command for viewing dot files from the rc file of the Curry system. |
Sets the command for viewing dot files in the rc file of the Curry system. |