ChangeLog

0.2.5.1

typeRepToType now supports type literals, tuples and lists. See #18

0.2.5.0

Adds tupT and promotedTupT.
Adds TH.FixQ.fixQ, a compatibility shim to provide fixQ for template-haskell <= 2.17 (ghc <= 9.0.1).

0.2.4.3

Adds a lower bound for th-abstraction dependency. Also released as a hackage revision of 0.2.4.2. See #15

0.2.4.2

Fixes compilation with GHC-9.0.*. See #14

0.2.4.1

Fixes generated Storable instances to have a sizeOf definition which works with -XStrict. See #13

0.2.4.0

Compatibility with GHC-8.10
Behavior change in reification of type family instances. Instead of erroring if the instance mentions a kind variable, now just ignores it.

0.2.3.1

Compatibility with GHC-8.8

0.2.3.0

Improved fix to the type variable behavior with GHC <= 7.10. Uses Any in place of type variables instead of (), to allow for more kinds than just * and Constraint.

0.2.2.0

Fixes derive and instantiator mechanisms to work with ghc 7.10 and earlier. Previously, invocation was broken when type variables were used.
Fixes freeVarsT - it now looks through more constructors of Type.
Adds dequalifyTyVars to dequalify every type variable.

0.2.0.1

Fixes build on 7.8
Fixes warnings

0.2.0.0

Adds TH.ReifySimple, which supports reifying most of the information TH users care about.
Adds some utilities based on SYB, which is often useful for TH.
Makes relative path stuff less noisyi with GHCi.

0.1.0.0

First public release