git.iko.soy/patch
on develop help sign in
Add constraints-extras dependency; Fix Eq instance for PatchDMapWithMove
958a68cAli Abrar
default.nix+2−1
compare with develop
unifiedsplit
@@ -6,7 +6,7 @@
6, template-haskell , these, time, transformers
6, template-haskell , these, time, transformers
7, transformers-compat, unbounded-delays, prim-uniq
7, transformers-compat, unbounded-delays, prim-uniq
8, data-default, filepath, directory, filemanip, ghcjs-base
8, data-default, filepath, directory, filemanip, ghcjs-base
9−, monoidal-containers, witherable
9+, monoidal-containers, witherable, constraints-extras
10, useTemplateHaskell ? true
10, useTemplateHaskell ? true
11}:
11}:
12mkDerivation {
12mkDerivation {
@@ -22,6 +22,7 @@ mkDerivation {
22 base bifunctors containers deepseq dependent-map dependent-sum
22 base bifunctors containers deepseq dependent-map dependent-sum
23 mtl ref-tf split transformers data-default
23 mtl ref-tf split transformers data-default
24 random time unbounded-delays monoidal-containers witherable
24 random time unbounded-delays monoidal-containers witherable
25+ constraints-extras
25 ] ++ (if ghc.isGhcjs or false then [
26 ] ++ (if ghc.isGhcjs or false then [
26 ghcjs-base
27 ghcjs-base
27 ] else []) ++ (if !useTemplateHaskell then [] else [
28 ] else []) ++ (if !useTemplateHaskell then [] else [
src/Reflex/Patch/DMapWithMove.hs+2−1
@@ -106,7 +106,8 @@ validationErrorsForPatchDMapWithMove m =
106 unbalancedMove _ = Nothing
106 unbalancedMove _ = Nothing
107
107
108-- |Test whether two @'PatchDMapWithMove' k v@ contain the same patch operations.
108-- |Test whether two @'PatchDMapWithMove' k v@ contain the same patch operations.
109+-- TODO: Get rid of EqTag constraint once dependent-map > 0.2.4.0, which drops this requirement, is released
109−instance (GEq k, Has' Eq k (NodeInfo k v)) => Eq (PatchDMapWithMove k v) where
110+instance (GEq k, Has' Eq k (NodeInfo k v), EqTag k (NodeInfo k v)) => Eq (PatchDMapWithMove k v) where
110 PatchDMapWithMove a == PatchDMapWithMove b = a == b
111 PatchDMapWithMove a == PatchDMapWithMove b = a == b
111
112
112-- |Higher kinded 2-tuple, identical to @Data.Functor.Product@ from base ≥ 4.9
113-- |Higher kinded 2-tuple, identical to @Data.Functor.Product@ from base ≥ 4.9