th-expand-syns

Expands type synonyms in Template Haskell ASTs

https://github.com/DanielSchuessler/th-expand-syns

LTS Haskell 21.22:	0.4.11.0@rev:2
Stackage Nightly 2023-12-01:	0.4.11.0@rev:2
Latest on Hackage:	0.4.11.0@rev:2

See all snapshots th-expand-syns appears in

BSD-3-Clause licensed by Daniel Schüssler

Maintained by Ryan Scott

This version can be pinned in stack with:th-expand-syns-0.4.11.0@sha256:d1c1d48d5a27e0c52c68ab0d783c649046723b566600e1440f26027eca45e221,2207

Module documentation for 0.4.11.0

Language
- Language.Haskell
  - Language.Haskell.TH
    - Language.Haskell.TH.ExpandSyns

Depends on 5 packages(full list with versions):

base, containers, syb, template-haskell, th-abstraction

Used by 4 packages in nightly-2023-12-01(full list with versions):

acid-state, compdata, derive-topdown, th-reify-many

Expands type synonyms in Template Haskell ASTs.

As of version 0.4.9.0, this library is a small shim on top of the applySubstitution/resolveTypeSynonyms functions from th-abstraction, so you may want to consider using th-abstraction instead.

Changes

0.4.11.0 [2023.01.31]

Support TypeDataD when building with template-haskell-2.20.0.0 (GHC 9.6) or later.

0.4.10.0 [2022.07.23]

Support DefaultD, PromotedInfixT, and PromotedUInfixT when building with template-haskell-2.19.0.0 (GHC 9.4) or later.

0.4.9.0 [2021.08.30]

Consolidate the type-synonym expansion functionality with th-abstraction, which also provides the ability to expand type synonyms. After this change, the th-expand-syns library is mostly a small shim on top of th-abstraction. The only additional pieces of functionality that th-expand-syns which aren’t currently available in th-abstraction are:
- th-expand-syns’ expandSyns{With} functions will warn that they cannot expand type families (if the SynonymExpansionSettings are configured to check for this). By contrast, th-abstraction’s applySubstitution function will silently ignore type families.
- th-expand-syns provides a substInCon function which allows substitution into Cons.
- th-expand-syns provides evade{s} functions which support type variable Name freshening that calculating the free variables in any type that provides an instance of Data.

0.4.8.0 [2021.03.12]

Make the test suite compile with GHC 9.0 or later.
Drop support for pre-7.0 versions of GHC.

0.4.7.0

Support GHC 9.0 / template-haskell-2.17 (Thanks to @mgsloan)

0.4.5.0

Support GHC 8.8 / template-haskell-2.15 (Thanks to Ryan Scott)
Support GHC 8.6 / template-haskell-2.14 (Thanks to Chaitanya Koparkar)

0.4.4.0

Made SynonymExpansionSettings an instance of Semigroup (fixes build with GHC 8.4.1 alpha).

0.4.3.0

Added support for GHC 8.2.1 / template-haskell-2.12 (Thanks to Ryan Scott)

0.4.2.0

Eliminated warnings about unrecognized results of ‘reify’.

0.4.1.0

Added a setting for suppressing warnings about type families.

0.4.0.0

Fixed build with GHC 8 / template-haskell-2.11 (Thanks to Christiaan Baaij)

Note: substInCon doesn’t support GADT constructors with GHC 8 in this version

0.3.0.6

Fixed build with current (commit 029a296a770addbd096bbfd6de0936327ee620d4) GHC 7.10 (Thanks to David Fox)

0.3.0.5

Fixed build with GHC 7.10.1-rc2 / template-haskell-2.10 (Thanks to Gabor Greif)