Graphs.Graph

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 where

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

newEmptyGraph :: IO (graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel)

Instances

Graph SimpleGraph

Defined in Graphs.SimpleGraph

Methods

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

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

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

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

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

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

getNodeLabel :: SimpleGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> Node -> IO nodeLabel

getNodeType :: SimpleGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> Node -> IO NodeType

getNodeTypeLabel :: SimpleGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> NodeType -> IO nodeTypeLabel

getSource :: SimpleGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> Arc -> IO Node

getTarget :: SimpleGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> Arc -> IO Node

getArcLabel :: SimpleGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> Arc -> IO arcLabel

getArcType :: SimpleGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> Arc -> IO ArcType

getArcTypeLabel :: SimpleGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> ArcType -> IO arcTypeLabel

shareGraph :: SimpleGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> GraphConnection nodeLabel nodeTypeLabel arcLabel arcTypeLabel

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

newNodeType :: SimpleGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> nodeTypeLabel -> IO NodeType

newNode :: SimpleGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> NodeType -> nodeLabel -> IO Node

newArcType :: SimpleGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> arcTypeLabel -> IO ArcType

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

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

newEmptyGraph :: IO (SimpleGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel)

data Node

Instances

Eq Node

Defined in Graphs.Graph

Methods

(==) :: Node -> Node -> Bool

(/=) :: Node -> Node -> Bool

Ord Node

Defined in Graphs.Graph

Methods

compare :: Node -> Node -> Ordering

(<) :: Node -> Node -> Bool

(<=) :: Node -> Node -> Bool

(>) :: Node -> Node -> Bool

(>=) :: Node -> Node -> Bool

max :: Node -> Node -> Node

min :: Node -> Node -> Node

Read Node

Defined in Graphs.Graph

Methods

readsPrec :: Int -> ReadS Node

readList :: ReadS [Node]

readPrec :: ReadPrec Node

readListPrec :: ReadPrec [Node]

Show Node

Defined in Graphs.Graph

Methods

showsPrec :: Int -> Node -> ShowS

show :: Node -> String

showList :: [Node] -> ShowS

StringClass Node

Defined in Graphs.Graph

Methods

toString :: Node -> String

fromString :: String -> Node

fromStringWE :: String -> WithError Node

data Arc

Instances

Eq Arc

Defined in Graphs.Graph

Methods

(==) :: Arc -> Arc -> Bool

(/=) :: Arc -> Arc -> Bool

Ord Arc

Defined in Graphs.Graph

Methods

compare :: Arc -> Arc -> Ordering

(<) :: Arc -> Arc -> Bool

(<=) :: Arc -> Arc -> Bool

(>) :: Arc -> Arc -> Bool

(>=) :: Arc -> Arc -> Bool

max :: Arc -> Arc -> Arc

min :: Arc -> Arc -> Arc

Read Arc

Defined in Graphs.Graph

Methods

readsPrec :: Int -> ReadS Arc

readList :: ReadS [Arc]

readPrec :: ReadPrec Arc

readListPrec :: ReadPrec [Arc]

Show Arc

Defined in Graphs.Graph

Methods

showsPrec :: Int -> Arc -> ShowS

show :: Arc -> String

showList :: [Arc] -> ShowS

StringClass Arc

Defined in Graphs.Graph

Methods

toString :: Arc -> String

fromString :: String -> Arc

fromStringWE :: String -> WithError Arc

data NodeType

Instances

Eq NodeType

Defined in Graphs.Graph

Methods

(==) :: NodeType -> NodeType -> Bool

(/=) :: NodeType -> NodeType -> Bool

Ord NodeType

Defined in Graphs.Graph

Methods

compare :: NodeType -> NodeType -> Ordering

(<) :: NodeType -> NodeType -> Bool

(<=) :: NodeType -> NodeType -> Bool

(>) :: NodeType -> NodeType -> Bool

(>=) :: NodeType -> NodeType -> Bool

max :: NodeType -> NodeType -> NodeType

min :: NodeType -> NodeType -> NodeType

Read NodeType

Defined in Graphs.Graph

Methods

readsPrec :: Int -> ReadS NodeType

readList :: ReadS [NodeType]

readPrec :: ReadPrec NodeType

readListPrec :: ReadPrec [NodeType]

Show NodeType

Defined in Graphs.Graph

Methods

showsPrec :: Int -> NodeType -> ShowS

show :: NodeType -> String

showList :: [NodeType] -> ShowS

StringClass NodeType

Defined in Graphs.Graph

Methods

toString :: NodeType -> String

fromString :: String -> NodeType

fromStringWE :: String -> WithError NodeType

data ArcType

Instances

Eq ArcType

Defined in Graphs.Graph

Methods

(==) :: ArcType -> ArcType -> Bool

(/=) :: ArcType -> ArcType -> Bool

Ord ArcType

Defined in Graphs.Graph

Methods

compare :: ArcType -> ArcType -> Ordering

(<) :: ArcType -> ArcType -> Bool

(<=) :: ArcType -> ArcType -> Bool

(>) :: ArcType -> ArcType -> Bool

(>=) :: ArcType -> ArcType -> Bool

max :: ArcType -> ArcType -> ArcType

min :: ArcType -> ArcType -> ArcType

Read ArcType

Defined in Graphs.Graph

Methods

readsPrec :: Int -> ReadS ArcType

readList :: ReadS [ArcType]

readPrec :: ReadPrec ArcType

readListPrec :: ReadPrec [ArcType]

Show ArcType

Defined in Graphs.Graph

Methods

showsPrec :: Int -> ArcType -> ShowS

show :: ArcType -> String

showList :: [ArcType] -> ShowS

StringClass ArcType

Defined in Graphs.Graph

Methods

toString :: ArcType -> String

fromString :: String -> ArcType

fromStringWE :: String -> WithError ArcType

firstNode :: Node

data Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel

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))

Defined in Graphs.Graph

Methods

showsPrec :: Int -> PartialShow (Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel) -> ShowS

show :: PartialShow (Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel) -> String

showList :: [PartialShow (Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel)] -> ShowS

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

Defined in Graphs.Graph

Methods

readsPrec :: Int -> ReadS (Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel)

readList :: ReadS [Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel]

readPrec :: ReadPrec (Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel)

readListPrec :: ReadPrec [Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel]

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

Defined in Graphs.Graph

Methods

showsPrec :: Int -> Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> ShowS

show :: Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> String

showList :: [Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel] -> ShowS

data CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel

Constructors

CannedGraph

Fields

• updates :: [Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel]

Instances

Show (PartialShow (CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel))

Defined in Graphs.Graph

Methods

showsPrec :: Int -> PartialShow (CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel) -> ShowS

show :: PartialShow (CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel) -> String

showList :: [PartialShow (CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel)] -> ShowS

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

Defined in Graphs.Graph

Methods

readsPrec :: Int -> ReadS (CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel)

readList :: ReadS [CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel]

readPrec :: ReadPrec (CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel)

readListPrec :: ReadPrec [CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel]

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

Defined in Graphs.Graph

Methods

showsPrec :: Int -> CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> ShowS

show :: CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> String

showList :: [CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel] -> ShowS

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

data GraphConnectionData nodeLabel nodeTypeLabel arcLabel arcTypeLabel

Constructors

GraphConnectionData

Fields

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

newtype PartialShow a

Constructors

PartialShow a

Instances

Show (PartialShow a) => Show (PartialShow [a])

Defined in Graphs.Graph

Methods

showsPrec :: Int -> PartialShow [a] -> ShowS

show :: PartialShow [a] -> String

showList :: [PartialShow [a]] -> ShowS

Show (PartialShow (CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel))

Defined in Graphs.Graph

Methods

showsPrec :: Int -> PartialShow (CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel) -> ShowS

show :: PartialShow (CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel) -> String

showList :: [PartialShow (CannedGraph nodeLabel nodeTypeLabel arcLabel arcTypeLabel)] -> ShowS

Show (PartialShow (Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel))

Defined in Graphs.Graph

Methods

showsPrec :: Int -> PartialShow (Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel) -> ShowS

show :: PartialShow (Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel) -> String

showList :: [PartialShow (Update nodeLabel nodeTypeLabel arcLabel arcTypeLabel)] -> ShowS

Show (PartialShow (NodeData nodeInfo arcInfo))

Defined in Graphs.PureGraph

Methods

showsPrec :: Int -> PartialShow (NodeData nodeInfo arcInfo) -> ShowS

show :: PartialShow (NodeData nodeInfo arcInfo) -> String

showList :: [PartialShow (NodeData nodeInfo arcInfo)] -> ShowS

Show (PartialShow (PureGraph nodeInfo arcInfo))

Defined in Graphs.PureGraph

Methods

showsPrec :: Int -> PartialShow (PureGraph nodeInfo arcInfo) -> ShowS

show :: PartialShow (PureGraph nodeInfo arcInfo) -> String

showList :: [PartialShow (PureGraph nodeInfo arcInfo)] -> ShowS