Safe Haskell | None |
---|---|
Language | Haskell2010 |
Graphs.DisplayGraph
Description
displayGraph
displays something implementing the
Graph interface with something implementing with GraphDisp interface.
displayGraph0
is a slightly more general version that also returns the
actual graph.
Documentation
displayGraph :: (GraphAll dispGraph graphParms node nodeType nodeTypeParms arc arcType arcTypeParms, Typeable nodeLabel, Typeable nodeTypeLabel, Typeable arcLabel, Typeable arcTypeLabel, Graph graph) => Graph dispGraph graphParms node nodeType nodeTypeParms arc arcType arcTypeParms -> graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> graphParms -> (DisplayGraph -> NodeType -> nodeTypeLabel -> IO (nodeTypeParms Node)) -> (DisplayGraph -> ArcType -> arcTypeLabel -> IO (arcTypeParms Arc)) -> IO DisplayGraph Source #
displayGraph0 :: (GraphAll dispGraph graphParms node nodeType nodeTypeParms arc arcType arcTypeParms, Typeable nodeLabel, Typeable nodeTypeLabel, Typeable arcLabel, Typeable arcTypeLabel, Graph graph) => Graph dispGraph graphParms node nodeType nodeTypeParms arc arcType arcTypeParms -> graph nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> graphParms -> (DisplayGraph -> NodeType -> nodeTypeLabel -> IO (nodeTypeParms Node)) -> (DisplayGraph -> ArcType -> arcTypeLabel -> IO (arcTypeParms Arc)) -> IO (DisplayGraph, Graph dispGraph graphParms node nodeType nodeTypeParms arc arcType arcTypeParms) Source #
displayGraph1 :: (GraphAll dispGraph graphParms node nodeType nodeTypeParms arc arcType arcTypeParms, Typeable nodeLabel, Typeable nodeTypeLabel, Typeable arcLabel, Typeable arcTypeLabel) => Graph dispGraph graphParms node nodeType nodeTypeParms arc arcType arcTypeParms -> GraphConnection nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> graphParms -> (DisplayGraph -> NodeType -> nodeTypeLabel -> IO (nodeTypeParms (Node, nodeLabel))) -> (DisplayGraph -> ArcType -> arcTypeLabel -> IO (arcTypeParms (Arc, arcLabel))) -> IO (DisplayGraph, Graph dispGraph graphParms node nodeType nodeTypeParms arc arcType arcTypeParms) Source #
data DisplayGraph Source #
Instances
Destroyable DisplayGraph Source # | |
Defined in Graphs.DisplayGraph Methods destroy :: DisplayGraph -> IO () # | |
Destructible DisplayGraph Source # | |
Defined in Graphs.DisplayGraph Methods destroyed :: DisplayGraph -> Event () # | |
Object DisplayGraph Source # | |
Defined in Graphs.DisplayGraph Methods objectID :: DisplayGraph -> ObjectID # |