th-abstraction

Nicer interface for reified information about data types

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

Version on this page:0.2.2.0
LTS Haskell 22.18:0.5.0.0
Stackage Nightly 2024-04-24:0.6.0.0@rev:2
Latest on Hackage:0.7.0.0

See all snapshots th-abstraction appears in

ISC licensed by Eric Mertens
Maintained by [email protected]
This version can be pinned in stack with:th-abstraction-0.2.2.0@sha256:d827bbe1f08464854c1184b9db0bec4086d412dc1fb310ea84e59de108d63ad4,1761

Module documentation for 0.2.2.0

Used by 1 package in nightly-2017-06-23(full list with versions):
lens

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, data families, and newtype families. 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.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.