Extract a "patch" library from reflex

Author: Ericson2314

CONTRIBUTING.md

@@ -15,8 +15,8 @@ Before opening an issue, please check whether your issue has already been report
 
 * Describe the issue you're encountering or the suggestion you're making
 * Include any relevant steps to reproduce or code samples you can. It's always easier for us to debug if we have something that demonstrates the error.
-* Let us know what version of reflex you were using. If you're using a github checkout, provide the git hash.
-* Describe how you're building reflex (i.e., via reflex-platform, cabal install, stack, obelisk, etc.). If you're using reflex-platform or obelisk, provide the git hash of your checkout.
+* Let us know what version of patch you were using. If you're using a github checkout, provide the git hash.
+* Describe how you're building patch (i.e., via patch-platform, cabal install, stack, obelisk, etc.). If you're using patch-platform or obelisk, provide the git hash of your checkout.
 
 ## Submitting Changes
 
@@ -47,7 +47,7 @@ Make sure the project builds and that the tests pass! This will generally also b
 
 #### Dependencies
 
-Include version bounds whenever adding a dependency to the library stanza of the cabal file. Note that libraries added to reflex.cabal also need to be added to default.nix.
+Include version bounds whenever adding a dependency to the library stanza of the cabal file. Note that libraries added to patch.cabal also need to be added to default.nix.
 
 ### Documentation
 

ChangeLog.md

@@ -1,80 +1,5 @@
-# Revision history for reflex
+# Revision history for patch
 
-## 0.6.3
+## Unreleased
 
-* `Data.WeakBag.traverse` and `Data.FastWeakBag.traverse` have been deprecated.
-  They are replaced with `Data.WeakBag.traverse_` and `Data.FastWeakBag.traverse_`, respectively.
-
-* Fixes a bug in `Reflex.Patch.MapWithMove.patchThatSortsMapWith` that was producing invalid `PatchMapWithMove`.
-
-* Add missing `NotReady` instances:
-   - `instance NotReady (SpiderTimeline x) (SpiderHost x)`
-   - `instance HasSpiderTimeline x => NotReady (SpiderTimeline x) (PerformEventT (SpiderTimeline x) (SpiderHost x))`
-
-## 0.6.2.4
-
-* Update to monoidal-containers 0.6
-
-## 0.6.2.3
-
-* Add an upper-bound to witherable
-
-## 0.6.2.2
-
-* Support these >= 1. Add `split-these` flag to control whether to use new these/semialign combination or not.
-
-* Update version bounds to fix some CI failures
-
-* Add travis CI configuration
-
-## 0.6.2.1
-
-* Generalize `fan` to `fanG` to take a `DMap` with non-`Identity`
-  functor:
-    * `fan` to `fanG`
-    * `EventSelectorG` for `fanG` result selector.
-
-* Reduce the amount of unsafeCoerce in coercing newtypes under Event/Dynamic/Behavior.
-    * Add fused ReaderIO for the purpose of coercion (ReaderT's third argument has nominal role preventing automated coerce)
-    * Add incrementalCoercion/coerceIncremental to go with dynamicCoercion/coerceDynamic
-
-* Generalize merging functions:
-  `merge` to `mergeG`,
-  `mergeIncremental` to `mergeIncrementalG`,
-  `mergeIncrementalWithMove` to `mergeIncrementalWithMoveG`.
-
-* Generalize distribute function:
-    `distributeDMapOverDynPure` to `distributeDMapOverDynPureG`,
-
-## 0.6.2.0
-
-* Fix `holdDyn` so that it is lazy in its event argument
-  These produce `DMap`s  whose values needn't be `Identity`.
-
-* Stop using the now-deprecated `*Tag` classes (e.g., `ShowTag`).
-
-* Fix `holdDyn` so that it is lazy in its event argument.
-
-## 0.6.1.0
-
-* Re-export all of `Data.Map.Monoidal`
-
-* Fix `QueryT` and `RequesterT` tests
-
-## 0.6.0.0 -- 2019-03-20
-
-* Deprecate `FunctorMaybe` in favor of `Data.Witherable.Filterable`. We still export `fmapMaybe`, `ffilter`, etc., but they all rely on `Filterable` now.
-
-* Rename `MonadDynamicWriter` to `DynamicWriter` and add a deprecation for the old name.
-
-* Remove many deprecated functions.
-
-* Add a `Num` instance for `Dynamic`.
-
-* Add `matchRequestsWithResponses` to make it easier to use `Requester` with protocols that don't do this matching for you.
-
-* Add `withRequesterT` to map functions over the request and response of a `RequesterT`.
-
-* Suppress nil patches in `QueryT` as an optimization. The `Query` type must now have an `Eq` instance.
-
-* Add `throttleBatchWithLag` to `Reflex.Time`. See that module for details.
+* Extract patching functionality from Reflex.