-
PatchMapWithMove
supports moves with a patch. -
PatchDMapWithMove
supports moves with a patch. -
Rewrite
PatchMapWithMove
in terms ofPatchMapWithPatchingMove
. Care is taken to make this not a breaking change. In particular,PatchMapWithMove
is a newtype ofPatchMapWithPatchingMove
, as is theNodeInfo
andFrom
ofPatchMapWithPatchingMove
'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
fromJust
with something easier to debug.
-
Create
PatchMapWithPatchingMove
variant which supports moves with a patch. -
Create
DecidablyEmpty
subclass ofMonoid
.
-
Consistently provide:
-
Wrapped
instances -
*WithIndex
instances -
un*
newtype unwrappers
for
PatchMap
,PatchIntMap
, andPatchMapWithMove
. -
-
Support older GHCs with
split-these
flag. -
Additional instances for the
Group
class for basic types.
- Remove unneeded dependencies
- Extract patching functionality from Reflex.