UDrawGraph.Graph
Description
This is the implementation of modules GraphDisp and GraphConfigure for
daVinci. See those files for explanation of the names.
We encode, for example, the type parameter node as DaVinciNode,
and so on for other type parameters, prefixing with "DaVinci" and
capitalising the next letter. But the only variable you should normally
need from this module is daVinciSort.
- daVinciSort :: Graph DaVinciGraph DaVinciGraphParms DaVinciNode DaVinciNodeType DaVinciNodeTypeParms DaVinciArc DaVinciArcType DaVinciArcTypeParms
- data DaVinciGraph
- data DaVinciGraphParms
- data DaVinciNode value
- data DaVinciNodeType value
- data DaVinciNodeTypeParms value
- data DaVinciArc value
- data DaVinciArcType value
- data DaVinciArcTypeParms value
- getDaVinciGraphContext :: DaVinciGraph -> Context
Documentation
daVinciSort :: Graph DaVinciGraph DaVinciGraphParms DaVinciNode DaVinciNodeType DaVinciNodeTypeParms DaVinciArc DaVinciArcType DaVinciArcTypeParmsSource
data DaVinciGraph Source
Instances
data DaVinciGraphParms Source
Instances
data DaVinciNode value Source
Instances
data DaVinciNodeType value Source
Tiresomely we need to make the "real" node type untyped. This is so that the interactor which handles drag-and-drop can get the type out without knowing what it is.
Instances
data DaVinciNodeTypeParms value Source
Instances
data DaVinciArc value Source
Instances
data DaVinciArcType value Source
Instances
data DaVinciArcTypeParms value Source
Instances