Revision history for patch

0.0.8.4

• Support for GHC 9.12

0.0.8.3

• Add support for GHC 9.8 and 9.10

• Replace partial Map.lookup with proper custom error for internal error. (This would make debugging a bug in the implementation easier.)

0.0.8.2

• Add support for GHC 9.6

0.0.8.1

• Add support for GHC 9.2 and 9.4

0.0.8.0 - 2022-12-09

• Drop support for GHC 8.0 and 8.2. It may still be possible to use this library with those versions of GHC, but we do not guarantee or test it anymore.
• Fix an issue where (<>) crashed for some PatchMapWithPatchingMoves.
• Change DecidablyEmpty for Sum and Product to use Num and Eq rather than delegating to the argument type's DecidablyEmpty class. Since Sum and Product have Monoid actions and units that are inherently based on Num, it makes sense to have a DecidablyEmpty instances that inherently agree with that. Also, since Int and other numeric types don't have (and can't reasonably have) DecidablyEmpty instances, this is necessary to make them actually usable in this context.

0.0.7.0 - 2022-06-23

• Use commutative-semigroups for Commutative, making Additive a deprecated alias.

0.0.6.0 - 2022-06-10

• Add PatchOrReplacement, patch which either is some other patch type or a new replacement value.

• Support GHC 9.2

0.0.5.2 - 2022-01-09

• Correct field order of PatchMapWithMove.NodeInfo.

  When we this was reimplemented as a pattern synonym wrapper in 0.0.5.0, we accidentally flipped the argument order. Reversing it now to match 0.0.4.0 and restore compatibility. The previous releases in the 0.0.5.* series will correspondingly be deprecated.

0.0.5.1 - 2021-12-28

• New dep of base-orphans for old GHC to get instances honestly instead of via monoidal-containers.

0.0.5.0 - 2021-12-17

• Additive now lives in Data.Semigroup.Additive, but is still reexported from Data.Patch for compatability.

• Rewrite PatchMapWithMove in terms of PatchMapWithPatchingMove. Care is taken to make this not a breaking change. In particular, PatchMapWithMove is a newtype of PatchMapWithPatchingMove, as is the NodeInfo and From of PatchMapWithPatchingMove's versions of those. There are complete constructor and field patterns too, and everything is exported under the newtype as real constructors and fields would be.

0.0.4.0 - 2021-04-20

• Enable PolyKinds

0.0.3.2 - 2020-11-06

• Update version bounds

0.0.3.1 - 2020-02-05

• Replace fromJust with something easier to debug.

0.0.3.0 - 2020-02-05

• Create PatchMapWithPatchingMove variant which supports moves with a patch.

• Create DecidablyEmpty subclass of Monoid.

0.0.2.0 - 2020-01-17

• Consistently provide:

  • Wrapped instances

  • *WithIndex instances

  • un* newtype unwrappers

  for PatchMap, PatchIntMap, and PatchMapWithMove.

0.0.1.0 - 2020-01-09

• Support older GHCs with split-these flag.

• Additional instances for the Group class for basic types.

0.0.0.1 - 2020-01-08

• Remove unneeded dependencies

0.0.0.0 - 2020-01-08

• Extract patching functionality from Reflex.