Graphs.Graph

Description

Graph defines the Graph class, which defines the basic things a graph must do. Peculiarities: (1) Graphs are directed with labelled nodes and arcs. These nodes and arcs have types. (2) The nodes and arcs are identified by values of type Node and Arc. These values are essentially strings. The strings are provided by the user; there is no mechanism for generating new unique strings. (This is because this is easy in the applications I have in mind.) (3) A necessary feature of these graphs is that it is supposed to be easy generate copies, both on the same system and on others.

Documentation

class Graph graph whereSource

Methods

getNodes :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> IO [Node]Source

getArcs :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> IO [Arc]Source

getNodeTypes :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> IO [NodeType]Source

getArcTypes :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> IO [ArcType]Source

getArcsOut :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> Node -> IO [Arc]Source

getArcsIn :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> Node -> IO [Arc]Source

getNodeLabel :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> Node -> IO nodeLabelSource

getNodeType :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> Node -> IO NodeType Source

getNodeTypeLabel :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> NodeType -> IO nodeTypeLabelSource

getSource :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> Arc -> IO Node Source

getTarget :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> Arc -> IO Node Source

getArcLabel :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> Arc -> IO arcLabelSource

getArcType :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> Arc -> IO ArcType Source

getArcTypeLabel :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> ArcType -> IO arcTypeLabelSource

shareGraph :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> GraphConnection nodeLabel nodeTypeLabel arcLabel arcTypeLabelSource

newGraph :: GraphConnection nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> IO (graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel)Source

newNodeType :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> nodeTypeLabel -> IO NodeType Source

newNode :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> NodeType -> nodeLabel -> IO Node Source

newArcType :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> arcTypeLabel -> IO ArcType Source

newArc :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> ArcType -> arcLabel -> Node -> Node -> IO Arc Source

update :: graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> IO ()Source

newEmptyGraph :: IO (graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel)Source

Instances

Graph SimpleGraph

data Node Source

Instances

Eq Node
Ord Node
Read Node
Show Node
Typeable Node
StringClass Node

data Arc Source

Instances

Eq Arc
Ord Arc
Read Arc
Show Arc
Typeable Arc
StringClass Arc

data NodeType Source

Instances

Eq NodeType
Ord NodeType
Read NodeType
Show NodeType
Typeable NodeType
StringClass NodeType

data ArcType Source

Instances

Eq ArcType
Ord ArcType
Read ArcType
Show ArcType
Typeable ArcType
StringClass ArcType

firstNode :: Node Source

data Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel Source

Constructors

NewNodeType NodeType nodeTypeLabel
SetNodeTypeLabel NodeType nodeTypeLabel
NewNode Node NodeType nodeLabel
DeleteNode Node
SetNodeLabel Node nodeLabel
SetNodeType Node NodeType
NewArcType ArcType arcTypeLabel
SetArcTypeLabel ArcType arcTypeLabel
NewArc Arc ArcType arcLabel Node Node
DeleteArc Arc
SetArcLabel Arc arcLabel
SetArcType Arc ArcType
MultiUpdate [Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel]

Instances

Show (PartialShow (Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel))
(Read nodeLabel, Read nodeTypeLabel, Read arcLabel, Read arcTypeLabel) => Read (Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel)
(Show nodeLabel, Show nodeTypeLabel, Show arcLabel, Show arcTypeLabel) => Show (Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel)

data CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel Source

Constructors

CannedGraph
Fields updates :: [Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel]

Instances

Show (PartialShow (CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel))
(Read nodeLabel, Read nodeTypeLabel, Read arcLabel, Read arcTypeLabel) => Read (CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel)
(Show nodeLabel, Show nodeTypeLabel, Show arcLabel, Show arcTypeLabel) => Show (CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel)

type GraphConnection nodeLabel nodeTypeLabel arcLabel arcTypeLabel = (Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> IO ()) -> IO (GraphConnectionData nodeLabel nodeTypeLabel arcLabel arcTypeLabel)Source

data GraphConnectionData nodeLabel nodeTypeLabel arcLabel arcTypeLabel Source

Constructors

GraphConnectionData
Fields graphState :: CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel deRegister :: IO () graphUpdate :: Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> IO () nameSourceBranch :: NameSourceBranch

newtype PartialShow a Source

Constructors

PartialShow a

Instances

Show (PartialShow a) => Show (PartialShow [a])
Show (PartialShow (CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel))
Show (PartialShow (Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel))
Show (PartialShow (NodeData nodeInfo arcInfo))
Show (PartialShow (PureGraph nodeInfo arcInfo))