Data.GraphViz.Types.Generalised

This module provides an alternate definition of the types found in Data.GraphViz.Types, in that the ordering constraint found in DotStatements is no longer present. All other limitations/constraints are still present however.

The types here have the same names as those in Data.GraphViz.Types but with a prefix of "G".

This module is partially experimental, and may change in the future.

The overall representation of a graph in generalised Dot format.

data GDotGraph a

The internal representation of a generalised graph in Dot form.

Constructors

GDotGraph

Fields

gStrictGraph :: Bool

If True, no multiple edges are drawn.

gDirectedGraph :: Bool

gGraphID :: Maybe GraphID

gGraphStatements :: GDotStatements a

Instances

Functor GDotGraph

(Ord n, PrintDot n, ParseDot n) => DotRepr GDotGraph n

Eq a => Eq (GDotGraph a)

Ord a => Ord (GDotGraph a)

Read a => Read (GDotGraph a)

Show a => Show (GDotGraph a)

ParseDot a => ParseDot (GDotGraph a)

PrintDot a => PrintDot (GDotGraph a)

Sub-components of a GDotGraph.

type GDotStatements a = Seq (GDotStatement a)

data GDotStatement a

Constructors

GA GlobalAttributes

SG (GDotSubGraph a)

DN (DotNode a)

DE (DotEdge a)

Instances

Functor GDotStatement

Eq a => Eq (GDotStatement a)

Ord a => Ord (GDotStatement a)

Read a => Read (GDotStatement a)

Show a => Show (GDotStatement a)

ParseDot a => ParseDot (GDotStatement a)

PrintDot a => PrintDot (GDotStatement a)

data GDotSubGraph a

Constructors

GDotSG

Fields

gIsCluster :: Bool

gSubGraphID :: Maybe GraphID

gSubGraphStmts :: GDotStatements a

Instances

Functor GDotSubGraph

Eq a => Eq (GDotSubGraph a)

Ord a => Ord (GDotSubGraph a)

Read a => Read (GDotSubGraph a)

Show a => Show (GDotSubGraph a)

ParseDot a => ParseDot (GDotSubGraph a)

PrintDot a => PrintDot (GDotSubGraph a)

Re-exported from Data.GraphViz.Types.

data GraphID

A polymorphic type that covers all possible ID values allowed by Dot syntax. Note that whilst the ParseDot and PrintDot instances for String will properly take care of the special cases for numbers, they are treated differently here.

Constructors

Str String

Int Int

Dbl Double

Instances

Eq GraphID

Ord GraphID

Read GraphID

Show GraphID

ParseDot GraphID

PrintDot GraphID

data GlobalAttributes

Represents a list of top-level list of Attributes for the entire graph/sub-graph. Note that GraphAttrs also applies to DotSubGraphs.

Note that Dot allows a single Attribute to be listen on a line; if this is the case then when parsing, the type of Attribute it is determined and that type of GlobalAttribute is created.

Constructors

GraphAttrs

Fields

attrs :: Attributes

NodeAttrs

Fields

attrs :: Attributes

EdgeAttrs

Fields

attrs :: Attributes

Instances

Eq GlobalAttributes

Ord GlobalAttributes

Read GlobalAttributes

Show GlobalAttributes

ParseDot GlobalAttributes

PrintDot GlobalAttributes

data DotNode a

A node in DotGraph.

Constructors

DotNode

Fields

nodeID :: a

nodeAttributes :: Attributes

Instances

Functor DotNode

Eq a => Eq (DotNode a)

Ord a => Ord (DotNode a)

Read a => Read (DotNode a)

Show a => Show (DotNode a)

ParseDot a => ParseDot (DotNode a)

PrintDot a => PrintDot (DotNode a)

data DotEdge a

An edge in DotGraph.

Constructors

DotEdge

Fields

edgeFromNodeID :: a

edgeToNodeID :: a

directedEdge :: Bool

edgeAttributes :: Attributes

Instances

Functor DotEdge

Eq a => Eq (DotEdge a)

Ord a => Ord (DotEdge a)

Read a => Read (DotEdge a)

Show a => Show (DotEdge a)

ParseDot a => ParseDot (DotEdge a)

PrintDot a => PrintDot (DotEdge a)

Conversion from a DotGraph.

generaliseDotGraph :: DotGraph a -> GDotGraph a

Convert a DotGraph to a GDotGraph, keeping the same order of statements.