Data.Dot

This module provides a simple interface for building .dot graph files, for input into the dot and graphviz tools. It includes a monadic interface for building graphs.

Dot

data Dot a

Instances

Monad Dot

Nodes

node :: [(String, String)] -> Dot NodeId

node takes a list of attributes, generates a new node, and gives a NodeId.

data NodeId

Instances

Show NodeId

Edges

edge :: NodeId -> NodeId -> [(String, String)] -> Dot ()

edge generates an edge between two NodeIds, with attributes.

(.->.) :: NodeId -> NodeId -> Dot ()

Showing a graph

showDot :: Dot () -> String

Other combinators

scope :: Dot a -> Dot a

.->. generates an edge between two NodeIds.

scope groups a subgraph together; in dot these are the subgraphs inside { and }.

attribute :: (String, String) -> Dot ()

attribute gives a attribute to the current scope.

share :: [(String, String)] -> [NodeId] -> Dot ()

share is when a set of nodes share specific attributes. Usually used for layout tweaking.

same :: [NodeId] -> Dot ()

same provides a combinator for a common pattern; a set of NodeIds with the same rank.

cluster :: Dot a -> Dot (NodeId, a)

cluster builds an explicit, internally named subgraph (called cluster).