Graphs.GetAttributes

GetAttributes is used by the GraphEditor to pop up HTk windows to get information from the user.

Documentation

data NodeTypeAttributes nodeLabel

Constructors

NodeTypeAttributes

Fields

shape :: Shape nodeLabel

nodeTypeTitle :: String

Instances

Typeable1 NodeTypeAttributes

Read (NodeTypeAttributes nodeLabel)

Show (NodeTypeAttributes nodeLabel)

getNodeTypeAttributes :: IO (Maybe (NodeTypeAttributes nodeLabel))

data NodeAttributes nodeType

Constructors

NodeAttributes

Fields

nodeType :: nodeType

nodeTitle :: String

Instances

Typeable1 NodeAttributes

Read nodeType => Read (NodeAttributes nodeType)

Show nodeType => Show (NodeAttributes nodeType)

getNodeAttributes :: Registry String nodeType -> IO (Maybe (NodeAttributes nodeType))

data ArcTypeAttributes

Constructors

ArcTypeAttributes

Fields

arcTypeTitle :: String

Instances

Read ArcTypeAttributes

Show ArcTypeAttributes

Typeable ArcTypeAttributes

getArcTypeAttributes :: IO (Maybe ArcTypeAttributes)

data ArcAttributes arcType

Constructors

ArcAttributes

Fields

arcType :: arcType

Instances

Typeable1 ArcAttributes

Read arcType => Read (ArcAttributes arcType)

Show arcType => Show (ArcAttributes arcType)

getArcAttributes :: Registry String arcType -> IO (Maybe (ArcAttributes arcType))

displayError :: String -> IO ()