UDrawGraph.Types
Description
This file was taken from Sven Panne's page on 31st July 2001. I have since changed it a little. The version before these changes may be found in DaVinciTypes.hs.orig.
Documentation
data DaVinciCmd Source
Constructors
Graph GraphCmd | |
Multi MultiCmd | |
Menu MenuCmd | |
AppMenu AppMenuCmd | |
DVSet SetCmd | |
Window WindowCmd | |
Tcl TclCmd | |
Special SpecialCmd | |
DVNothing | |
Visual VisualCmd | |
DragAndDrop DragAndDropCmd |
Instances
Constructors
data FileMenuCmd Source
Constructors
ClearGraph | |
OpenGraph Filename | |
OpenGraphPlaced Filename | |
OpenStatus Filename | |
SaveGraph Filename | |
SaveStatus Filename | |
Print (Maybe Filename) | |
Close | |
Exit |
Instances
data ViewMenuCmd Source
Constructors
OpenNewView | |
OpenSurveyView | |
FullScale | |
FitScaleToWindow | |
Scale (Maybe Int) | |
GraphInfo | |
DaVinciInfo |
Instances
data NavigationMenuCmd Source
Constructors
SelectParents [NodeId] | |
SelectSiblings [NodeId] | |
SelectChilds [NodeId] | |
SelectChildren [NodeId] | |
Navigator (Maybe (NodeId, Direction, Bool)) | |
Find (Maybe (String, Bool, Bool)) |
data AbstractionMenuCmd Source
Constructors
HideSubgraph [NodeId] | |
ShowSubgraph [NodeId] | |
RestoreAllSubgraphs | |
HideEdges [NodeId] | |
ShowEdges [NodeId] | |
RestoreAllEdges |
Instances
data LayoutMenuCmd Source
Constructors
ImproveAll | |
ImproveVisible | |
CompactAll | |
Orientation Orient |
Instances
data AppMenuCmd Source
Constructors
CreateMenus [MenuEntry] | |
CreateIcons [IconEntry] | |
ActivateMenus [MenuId] | |
ActivateIcons [IconId] | |
ControlFileEvents |
Instances
data SpecialCmd Source
Constructors
SelectNodes [NodeId] | |
SelectEdge EdgeId | |
FocusNode NodeId | |
FocusNodeAnimated NodeId | |
ShowUrl String | |
Version |
Instances
Constructors
NewRules [VisualRule] | |
AddRules [VisualRule] |
data DragAndDropCmd Source
Constructors
DraggingOn | |
DragAndDropOn | |
DraggingOff | |
NewNodeAtCoord NodeUpdate | |
NewEdgeAndNodeAtCoord NodeUpdate EdgeUpdate |
Instances
data DaVinciAnswer Source
Constructors
data NodeUpdate Source
Instances
data EdgeUpdate Source
Constructors
DeleteEdge EdgeId | |
NewEdge EdgeId Type [Attribute] NodeId NodeId | |
NewEdgeBehind EdgeId EdgeId Type [Attribute] NodeId NodeId |
Instances
data AttrChange Source
Instances
data TypeChange Source
Instances
Constructors
IconEntry IconId Filename String | |
BlankIconEntry |
data VisualRule Source
Instances