uni-uDrawGraph-2.2.0.3: Graphs binding

Safe HaskellNone
LanguageHaskell98

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.

Synopsis

Documentation

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.