Safe Haskell | None |
---|---|
Language | Haskell98 |
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 Source # | |
Defined in Graphs.NewNames | |
Show NameSourceBranch Source # | |
Defined in Graphs.NewNames showsPrec :: Int -> NameSourceBranch -> ShowS # show :: NameSourceBranch -> String # showList :: [NameSourceBranch] -> ShowS # |
branch :: NameSource -> IO NameSourceBranch Source #
useBranch :: NameSourceBranch -> IO NameSource Source #
getNewName :: NameSource -> IO String Source #
data FrozenNameSource Source #
Instances
Read FrozenNameSource Source # | |
Defined in Graphs.NewNames | |
Show FrozenNameSource Source # | |
Defined in Graphs.NewNames showsPrec :: Int -> FrozenNameSource -> ShowS # show :: FrozenNameSource -> String # showList :: [FrozenNameSource] -> ShowS # |
defrostNameSource :: NameSource -> FrozenNameSource -> IO () Source #