type-sub-th-0.1.0.4: Substitute types for other types with Template Haskell

Safe Haskell

Safe-Infered

Language.Haskell.TH.TypeSub

Description

Subsitute one type for another in Template Haskell Dec's, Con's and Type's.
| Warning!
| There are a few known issues. The types in cxt's are not subsistuted.
| Additionally, the Dec's type variables are regenerated after subistution
| and all explicitly kinded type variables are converted to implicitly kinded type
| variables.