Safe Haskell | None |
---|---|
Language | Haskell98 |
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 DaVinciArcTypeParms Source
data DaVinciGraph Source
data DaVinciGraphParms Source
data DaVinciNode value Source
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.
data DaVinciNodeTypeParms value Source
data DaVinciArc value Source
data DaVinciArcType value Source
data DaVinciArcTypeParms value Source