tip-lib-0.2.2: tons of inductive problems - support library and tools
Tip.Haskell.Rename
renameDecls :: forall a. (Ord a, PrettyVar a) => Decls (HsId a) -> (Decls (HsId String), RenameMap a) Source
isOperator :: String -> Bool Source
type RenameMap a = Map (HsId a) (HsId String) Source