th-abstraction

Nicer interface for reified information about data types

https://github.com/glguy/th-abstraction

Version on this page:0.2.6.0
LTS Haskell 20.23:0.4.5.0@rev:1
Stackage Nightly 2023-05-31:0.4.5.0@rev:1
Latest on Hackage:0.5.0.0

See all snapshots th-abstraction appears in

ISC licensed by Eric Mertens
Maintained by emertens@gmail.com
This version can be pinned in stack with:th-abstraction-0.2.6.0@sha256:f515457800ed884a4211753c85c9fe70fa7d73095c86d5da043f06a7f7935773,1790

Module documentation for 0.2.6.0

th-abstraction

Hackage Build Status

This package provides a consistent interface to a subset of Template Haskell.

Currently the package provides a consistent view of the reified declaration information about datatypes, newtypes, and data family instances. These interfaces abstract away the differences in the normal and GADT syntax used to define these types.

Contact Information

Please contact me via GitHub or on the #haskell IRC channel on irc.freenode.net

Changes

Revision history for th-abstraction

0.2.6.0 – 2017-09-04

  • Fix bug in which applySubstitution and freeVariables would ignore type variables in the kinds of type variable binders.

0.2.5.0

  • Added pragLineDCompat, newtypeDCompat and tySynInstDCompat

0.2.4.0 – 2017-07-31

  • Fix bug that caused GADT equality constraints to be incorrect in some cases.
  • Expose Unpackedness and Strictness (which were unexported by accident).

0.2.3.0 – 2017-06-26

  • Add resolvePredSynonyms
  • Add reifyConstructor, which allows reification of ConstructorInfo from a constructor name, and lookupByConstructorName, which allows directly looking up a ConstructorInfo from a DatatypeInfo value for a given constructor Name.
  • Augment reifyDatatype to be able to look up DatatypeInfo from the Name of a record selector for one of its constructors. Also add reifyRecord for reification of of ConstructorInfo from a record name, and lookupByRecordName, which allows directly looking up a ConstructorInfo from a DatatypeInfo value for a given record Name.
  • Fix bug that caused th-abstraction to fail on GHC 7.0 and 7.2 when passing a vanilla constructor name to reifyDatatype
  • Make normalizeDec and normalizeCon more robust with respect to data family instances on GHC 7.6 and 7.8

0.2.2.0 – 2017-06-10

  • Fix freeVariables on lists not not produce duplicates.

0.2.1.0 – 2017-06-09

  • Add sensible reify defaults and error messages when we can’t backport fixes to old GHC Template Haskell output due to hand-written Decs being processed.

0.2.0.0 – 2017-06-03

  • Added reifyFixityCompat
  • Added constructorStrictness field to ConstructorInfo
  • Infer more kind signatures when missing on old GHCs
  • Added parameter to normalizeCon
  • Support GHC back to 7.0.4

0.1.3.0 – 2017-05-27

  • Added resolveInfixT which uses reified fixity information to resolve UInfixT
  • Added asEqualPred and asClassPred
  • Fixed data-instance GADTs

0.1.2.1 – 2017-05-21

  • Add eta reduction fixes to GHC 7.6

0.1.2.0 – 2017-05-21

  • Added arrowKCompat
  • Added workaround for GHC 7.8 data instance eta reduction bug
  • Added kind signatures to datatypeVars

0.1.1.0 – 2017-05-20

  • Better matching of constraints generated for GADTs across GHC versions
  • Added dataDCompat
  • Support for giving value constructors to reifyDatatype. This enables data families to be reified easily.

0.1.0.0 – 2017-04-26

  • First version.
A service provided by FP Complete