Module ShowDotGraph

A library for graph visualization with Graphviz.

Summary of exported operations:

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.

Exported datatypes:


DotGraph

A Dot graph consists of a name and a list of nodes and edges.

Constructors:

  • Graph :: String -> [Node] -> [Edge] -> DotGraph

Node

A node of a dot graph consists of a name and a list of attributes for this node.

Constructors:

  • Node :: String -> [(String,String)] -> Node

Edge

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

Exported operations:

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.