|
|
|
|
|
|
| Synopsis |
|
|
|
| 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 |
