- Improve asympotics of merging
- New dep of
data-orphansfor old GHC to get instances honestly instead of viamonoidal-containers.
-
Additivenow lives inData.Semigroup.Additive, but is still reexported fromData.Patchfor compatability. -
Rewrite
PatchMapWithMovein terms ofPatchMapWithPatchingMove. Care is taken to make this not a breaking change. In particular,PatchMapWithMoveis a newtype ofPatchMapWithPatchingMove, as is theNodeInfoandFromofPatchMapWithPatchingMove'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.
- Enable PolyKinds
- Update version bounds
- Replace
fromJustwith something easier to debug.
-
Create
PatchMapWithPatchingMovevariant which supports moves with a patch. -
Create
DecidablyEmptysubclass ofMonoid.
-
Consistently provide:
-
Wrappedinstances -
*WithIndexinstances -
un*newtype unwrappers
for
PatchMap,PatchIntMap, andPatchMapWithMove. -
-
Support older GHCs with
split-theseflag. -
Additional instances for the
Groupclass for basic types.
- Remove unneeded dependencies
- Extract patching functionality from Reflex.