uni-graphs-2.2.1.0: Graphs

Graphs.NewNames

Description

NewNames is used for generating new names for Node's, Arc's, NodeType's and ArcType's in a graph on a globally unique basis.

Documentation

data NameSource Source

data NameSourceBranch Source

Instances

Read NameSourceBranch
Show NameSourceBranch

branch :: NameSource -> IO NameSourceBranch Source

useBranch :: NameSourceBranch -> IO NameSource Source

initialBranch :: NameSourceBranch Source

getNewName :: NameSource -> IO String Source

data FrozenNameSource Source

Instances

Read FrozenNameSource
Show FrozenNameSource

freezeNameSource :: NameSource -> IO FrozenNameSource Source

defrostNameSource :: NameSource -> FrozenNameSource -> IO ()Source