GraphConnection contains various operations on graph connections
Documentation
attachSuperGraph :: SubGraph -> GraphConnection nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> GraphConnection nodeLabel nodeTypeLabel arcLabel arcTypeLabelSource
attachSubGraph :: SubGraph -> GraphConnection nodeLabel nodeTypeLabel arcLabel arcTypeLabel -> GraphConnection nodeLabel nodeTypeLabel arcLabel arcTypeLabelSource
:: (nodeLabel1 -> (nodeLabel2, NodeType)) | function to compute node label in new graph and type |
-> (arcLabel1 -> (arcLabel2, ArcType)) | function to compute arc label in new graph and type |
-> [Update nodeLabel2 nodeTypeLabel2 arcLabel2 arcTypeLabel2] | updates prepended to initialse types. (The type declarations in the input graph are discarded) |
-> GraphConnection nodeLabel1 () arcLabel1 () | |
-> GraphConnection nodeLabel2 nodeTypeLabel2 arcLabel2 arcTypeLabel2 |