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

branch :: NameSource -> IO NameSourceBranchSource

useBranch :: NameSourceBranch -> IO NameSourceSource

initialBranch :: NameSourceBranchSource

getNewName :: NameSource -> IO StringSource

data FrozenNameSource Source

Instances

freezeNameSource :: NameSource -> IO FrozenNameSourceSource

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