tip-lib-0.2.2: tons of inductive problems - support library and tools

Safe Haskell	None
Language	Haskell2010

Tip.Haskell.Rename

Documentation

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