Source codeContentsIndex
UniqueString
Synopsis
data UniqueStringSource
newUniqueStringSource :: IO UniqueStringSource
newUniqueString :: UniqueStringSource -> IO String
data UniqueStringCounter
firstUniqueStringCounter :: UniqueStringCounter
stepUniqueStringCounter :: UniqueStringCounter -> (String, UniqueStringCounter)
readUniqueStringSource :: UniqueStringSource -> IO [Int]
createUniqueStringSource :: [Int] -> IO UniqueStringSource
newNonUnique :: String -> String
firstUniqueString :: String
Documentation
data UniqueStringSource
newUniqueStringSource :: IO UniqueStringSource
newUniqueString :: UniqueStringSource -> IO String
data UniqueStringCounter
firstUniqueStringCounter :: UniqueStringCounter
stepUniqueStringCounter :: UniqueStringCounter -> (String, UniqueStringCounter)
readUniqueStringSource :: UniqueStringSource -> IO [Int]
readUniqueStringSource is used by types/CodedValue.hs to export values.
createUniqueStringSource :: [Int] -> IO UniqueStringSource
createUniqueStringSource is the inverse of readUniqueStringSource.
newNonUnique :: String -> String
Create non-conflicting string which cannot be produced by newUniqueString. This is useful for exceptional cases. We add this by adding a character with integer value 0 at the end.
firstUniqueString :: String
Produced by Haddock version 0.3