v0.4.0.2

What's Changed

• Support ghc 9.12 by @erikd in #58

New Contributors

• @erikd made their first contribution in #58

Full Changelog: v0.4.0.1...v0.4.0.2

v0.4.0.1

What's Changed

• Build with ghc 9.6 by @alexfmpe in #51
• Support GHC-9.8. by @alaendle in #52
• Bump base and template-haskell bounds to enable GHC 9.10 by @jhrcek in #55

New Contributors

• @alexfmpe made their first contribution in #51
• @alaendle made their first contribution in #52
• @jhrcek made their first contribution in #55

Full Changelog: v0.4.0.0...v0.4.0.1

v0.4.0.0

0.4.0.0 - 2022-11-18

• Make Has from a type synonym into the class upon which everything else is based. Instances may define either has or argDict which are now both methods of Has. This should hopefully improve the readability of type errors involving the library a fair bit, as everything wanted to use Has, but it was defined in terms of the less commonly appearing ArgDict and ConstraintsFor.
• The ConstraintsFor type family has been removed as it is now unnecessary, as instances of Has can simply be constrained directly. This has the added benefit of allowing QuantifiedConstraints in those instance heads that formerly would not have been allowed as part of the result of a type family.
• The ArgDict class has also been removed, as it was also basically never used on its own.

v0.3.2.1

0.3.2.1 - 2021-12-17

• Support GHC 9.2

v0.3.2.0

0.3.2.0

• Provide ArgDict instances for sums of functors.

v0.3.1.0

0.3.1.0

• Allow deriving instances with deriveArgDict for data and newtype family instances by supplying the name of one of its constructors
• Support GHC 9.0.1

v0.3.0.2

Release v0.3.0.2

v0.3.0.1

Bump to version 0.3.0.1

v0.3

Add a class parameter to ArgDict to support not-fully-polymorphic ins…

v0.2.3.5

Merge branch 'develop' of github.com:obsidiansystems/constraints-extr…