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
.
Synopsis
- 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 #
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
NodeTypeClass DaVinciNodeType Source # | |
Defined in UDrawGraph.Graph | |
Eq1 DaVinciNodeType Source # | |
Defined in UDrawGraph.Graph eq1 :: DaVinciNodeType value1 -> DaVinciNodeType value1 -> Bool # | |
NewNode DaVinciGraph DaVinciNode DaVinciNodeType Source # | |
Defined in UDrawGraph.Graph newNodePrim :: Typeable value => DaVinciGraph -> DaVinciNodeType value -> value -> IO (DaVinciNode value) # setNodeTypePrim :: Typeable value => DaVinciGraph -> DaVinciNode value -> DaVinciNodeType value -> IO () # | |
NewNodeType DaVinciGraph DaVinciNodeType DaVinciNodeTypeParms Source # | |
Defined in UDrawGraph.Graph newNodeTypePrim :: Typeable value => DaVinciGraph -> DaVinciNodeTypeParms value -> IO (DaVinciNodeType value) # | |
GraphAllConfig DaVinciGraph DaVinciGraphParms DaVinciNode DaVinciNodeType DaVinciNodeTypeParms DaVinciArc DaVinciArcType DaVinciArcTypeParms Source # | |
Defined in UDrawGraph.Graph |
data DaVinciNodeTypeParms value Source #
Instances
data DaVinciArc value Source #
Instances
data DaVinciArcType value Source #
Instances
data DaVinciArcTypeParms value Source #