Text.Dot

Dot

data Dot a

Nodes

node

data NodeId

userNodeId

userNode

Edges

edge

Showing a graph

showDot

Other combinators

scope

attribute

nodeAttributes

edgeAttributes

graphAttributes

share

same

cluster

Record specification

data Record a

field

portField

hcat

hcat'

vcat

vcat'

Record node construction

record

record'

record_

mrecord

mrecord'

mrecord_