uni-graphs-2.2.1.2: Graphs
Safe HaskellNone
LanguageHaskell2010

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

Instances details
Read NameSourceBranch Source # 
Instance details

Defined in Graphs.NewNames

Methods

readsPrec :: Int -> ReadS NameSourceBranch #

readList :: ReadS [NameSourceBranch] #

readPrec :: ReadPrec NameSourceBranch #

readListPrec :: ReadPrec [NameSourceBranch] #

Show NameSourceBranch Source # 
Instance details

Defined in Graphs.NewNames

Methods

showsPrec :: Int -> NameSourceBranch -> ShowS #

show :: NameSourceBranch -> String #

showList :: [NameSourceBranch] -> ShowS #

branch :: NameSource -> IO NameSourceBranch Source #

useBranch :: NameSourceBranch -> IO NameSource Source #

initialBranch :: NameSourceBranch Source #

getNewName :: NameSource -> IO String Source #

data FrozenNameSource Source #

Instances

Instances details
Read FrozenNameSource Source # 
Instance details

Defined in Graphs.NewNames

Methods

readsPrec :: Int -> ReadS FrozenNameSource #

readList :: ReadS [FrozenNameSource] #

readPrec :: ReadPrec FrozenNameSource #

readListPrec :: ReadPrec [FrozenNameSource] #

Show FrozenNameSource Source # 
Instance details

Defined in Graphs.NewNames

Methods

showsPrec :: Int -> FrozenNameSource -> ShowS #

show :: FrozenNameSource -> String #

showList :: [FrozenNameSource] -> ShowS #

freezeNameSource :: NameSource -> IO FrozenNameSource Source #

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