Text.Dot

type DotGen

type State

graph

graph_

genDot

genSubDot

Graph types

directed

undirected

Nodes

genNode

namedNode

namelessNode

node

node_

newNode

Edges

genEdge

(-->)

Attributes

(=:)

Attribute Names

label

compound

shape

color

dir

width

height

Attribute values

true

false

none

Declarations

genDec

graphDec

nodeDec

edgeDec

Subgraphs

subgraph

cluster

cluster_

Miscelaneous

Rankdir

rankdir

leftRight

topBottom

Labels

labelDec

Ports

(.:)

Graph Types

data Dot

data DotGraph

data NodeId

type Attribute

data DecType

data RankdirType

Graph rendering

renderGraph

renderToFile

renderToStdOut