All Versions
17
Latest Version
Avg Release Cycle
133 days
Latest Release
-

Changelog History
Page 1

  • v0.5.4 Changes

    • 🛠 Fix a bug in which deriveInvariant2 would fail on certain data types with three or parameters if the first two parameters had phantom roles.
    • 🛠 Fix a bug in which deriveInvariant(2) would fail on sufficiently complex uses of rank-n types in constructor fields.
    • 🛠 Fix a bug in which deriveInvariant(2) would needlessly reject data types whose two last type parameters appear as oversaturated arguments to a type family.

  • v0.5.3 Changes

    May 02, 2019
    • Implement foldMap' in the Foldable instance for WrappedFunctor when building with base-4.13 or later.

  • v0.5.2 Changes

    April 26, 2019
    • 👌 Support th-abstraction-0.3.0.0 or later.
    • Only incur a semigroups dependency on old GHCs.

  • v0.5.1 Changes

    July 15, 2018
    • ✅ Depend on QuickCheck-2.11 or later in the test suite.
    • 🛠 Some Haddock fixes in Data.Functor.Invariant.TH.

  • v0.5 Changes

    December 07, 2017
    • Data.Functor.Invariant.TH now derives invmap(2) implementations for empty data types that are strict in the argument.
    • When using Data.Functor.Invariant.TH to derive Invariant(2) instances for data types where the last type variables are at phantom roles, generated invmap(2) implementations now use coerce for efficiency.
    • ➕ Add Options to Data.Functor.Invariant.TH, along with variants of existing functions that take Options as an argument. For now, the only configurable option is whether derived instances for empty data types should use the EmptyCase extension (this is disabled by default).

  • v0.4.3 Changes

    July 31, 2017
    • ➕ Add Invariant(2) instances for Data.Profunctor.Yoneda.Yoneda.

  • v0.4.2 Changes

    April 24, 2017
    • invariant.cabal used to incorrectly state the license was BSD3 when it was in fact BSD2. This is now fixed.

  • v0.4.1 Changes

    April 19, 2017
    • 🛠 Fix the Invariant V1 instance so as to seq its argument
    • 👍 Allow building with template-haskell-2.12

  • v0.4 Changes

    July 18, 2016
    • 👍 Allow TH derivation of Invariant(2) instances for datatypes containing unboxed tuple types
    • Ensure Invariant(2) instances are in-scope when importing Data.Functor.Invariant
    • ➕ Add Invariant and Invariant2 instances for Kleisli and Cokleisli
    • ➕ Add Category and Arrow-like instances for WrappedProfunctor

  • v0.3.1 Changes

    February 07, 2016
    • Rewrote Data.Functor.Invariant.TH's type inferencer. This avoids a nasty GHC 7.8-specific bug involving derived Invariant(2) instances for data families.
    • ➕ Add Invariant instances for Data.Complex.Complex, Data.Monoid.Product, and Data.Monoid.Sum