Util.NameMangle

Module for generating unique names which correspond to given names (of type ref).

Documentation

data NameMangler ref

For now we just do this naively, with a Registry. Since the names are generated sequentially a dynamic array would be more efficient, perhaps.

newNameMangler :: IO (NameMangler ref)

type MangledName = String

newMangledName :: NameMangler ref -> ref -> IO MangledName

readMangledName :: NameMangler ref -> MangledName -> IO ref