Generate a haphviz graph with a given name and content

>>> graph directed "mygraph" $ do
        a <- node "a"
        b <- node "b"
        a --> b
> graph mygraph {
>   0 [label="a"];
>   1 [label="b"];
>   0 -- 1;
> }

Like graph but without an internal graph name

graph_ gt func = graph gt "haphviz" func

Generate Internal dot content AST

Utility function to generate a graph with nameless nodes starting from a given starting number.

Directed graph

>>> directed
> digraph

Undirected graph

>>> undirected
> graph

Most general node declaration

This allows you to specify a node identifier for the node.

In general it is more efficient to use nameless nodes and have the identifiers generated for you.

It also allows you to specify attributes. In general it is better to use namelessNode.

>>> n <- newNode
>>> genNode n [color =: green]
> 0 [color="green"];

Node with given (internal) name and attributes

Aside from human-readable output, there is no reason to use named nodes. Use node instead.

>>> void $ namedNode "woohoo" [color =: red]
> wohoo [color="red"];

Nameless node with attributes

This generates a nameless node for you but still allows you to specify its individual attributes. In general it is better to use nodeDec and then node.

>>> void $ namelessNode [color =: blue]
> 0 [color="blue"];

Node with a label but no other attributes

A node with a given label and no other attributes. Usually used in conjunction with nodeDec.

>>> void $ node "server"
> 0 [label="server"];

Node with given node Id and label

node_ ni l = genNode ni [label =: l]

Generate a new internally nameless node ID

It is not generally a good idea to use this directly but it can be used to define node identifiers before a subgraph to reference them both in- and outside of it.

Most general edge declaration

This allows you to specify attributes for a single edge.

Usually it is better to use edgeDec and then -->.

>>> genEdge a b [label =: "MyEdge"]
> a -> b [label="MyEdge"];

Infix edge constructor. (No attributes)

This takes care of using the right edge declaration for the given graph.

For undirected graphs, the output would be -- ...

>>> a --> b
> a -- b;

... and for directed graphs it would be ->.

>>> a --> b
> a -> b;

Infix operator for an attribute pair

>>> [label =: "MyNode"]
> [label="MyNode"]

General declaration of common attributes

Graph declaration

>>> graphDec [compound =: true]
> graph [compound=true];

Node declaration

>>> nodeDec [shape =: none]
> node [shape=none];

Edge declaration

>>> edgeDec [color =: "red:blue"]
> edge [color="red:blue"];

Cluster with a given name

The cluster_ prefix is taken care of.

Like cluster, discarding the graph name.

Subgraph declaration

This is rarely useful. Just use cluster.

The rankdir declaration

This changes the default layout of nodes

>>> rankdir leftRight
> rankdir = LR;

>>> leftRight
> LR

>>> rightLeft
> RL

>>> topBottom
> TB

>>> bottomTop
> BT

Label declaration for graphs or subgraphs

Use a certain port on a given node's label as an endpoint for an edge

{rank=same ... } declaration

>>> ranksame $ node [shape =: none]
> node [shape=none];

Generation monad

The next id for a nameless node

Haphviz internal graph content AST

A Haphviz Graph

A node identifier.

This is either a user supplied name or a generated numerical identifier.

Attribute: a tuple of name and value.

Attribute name: just text

Attribute value: just text

Declaration type

Used to declare common attributes for nodes or edges.

Rankdir Type

Used to specify the default node layout direction