th-utilities

Collection of useful functions for use with Template Haskell

MIT licensed

Maintained by Michael Sloan

This version can be pinned in stack with:th-utilities-0.2.5.0@sha256:877897307b015fbd7c55f1b0b321214d98ec75128d6db097e7849ceea86c0e93,1860

Depends on 11 packages(full list with versions):

Used by 1 package in nightly-2023-09-27(full list with versions):

The ‘th-utilities’ package provides a number of useful utilities for Template Haskell. In particular:

TH.Derive provides a convenient system for using TH to derive typeclass instances. It allows for open registration of TH derivers, and reuses instance syntax for invoking them.
- TH.Derive.Storable defines derivation of Storable for ADTs.
TH.ReifyDataType provides utilities for reifying simplified datatype info. It omits details that you don’t usually want to handle, making it much more straightforward to generate code based on datatype structure.
TH.RelativePaths provides utilities for loading files based on paths relative to the cabal file. This is particularly handy for loading code into ghci even when its current dir isn’t the package dir. Ideally, this module would be used by everyone who currently uses qAddDependentFile.
TH.Utilities provides a miscellaneous set of utilities that are useful within this package and elsewhere.

Changes

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

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

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

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.

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.

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.

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.