Portability | TemplateHaskell |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | None |
Lenses and Traversals for working with Template Haskell
Documentation
Has a Name
class HasTypeVars t whereSource
Provides for the extraction of free type variables, and alpha renaming.
Provides substitution for types
substTypeVars :: HasTypeVars t => Map Name Name -> t -> tSource
Substitute using a map of names in for free type variables