Exported names: Imported modules:

Module Names

Operations to change names of the original program into names used in the target program

Summary of exported operations:

genCorrectIdentifier
                  :: String -> String

showOpChar
                  :: Char -> String

replaceNonIdChars
                  :: String -> String -> String -> String

separateAndReplace
                  :: (a -> Bool) -> (a -> [a]) -> [a] -> [[a]]

genCorrectIdentifier :: String -> String

showOpChar :: Char -> String

replaceNonIdChars :: String -> String -> String -> String

separateAndReplace :: (a -> Bool) -> (a -> [a]) -> [a] -> [[a]]