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