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