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

Safe HaskellNone
LanguageHaskell2010

Tip.Rename

Synopsis

Documentation

renameAvoiding Source

Arguments

:: (Ord a, PrettyVar a) 
=> [String]

Keywords to avoid

-> (Char -> String)

Escaping

-> Theory a

Theory to be renamed

-> Theory RenamedId

The renamed theory

Renames a theory

newtype RenamedId Source

The representation of renamed Ids.

Constructors

RenamedId String 

Instances