git.iko.soy/patch
on develop help sign in
Dedup traverse instance
29815c0John Ericson
src/Data/Patch/MapWithMove.hs+1−5
compare with develop
unifiedsplit
@@ -244,11 +244,7 @@ instance Foldable (NodeInfo k) where
244 foldMap = foldMapDefault
244 foldMap = foldMapDefault
245
245
246instance Traversable (NodeInfo k) where
246instance Traversable (NodeInfo k) where
247− traverse = _NodeInfo . traverseNodeInfo
248− where
249− traverseNodeInfo
250− :: Traversal (PM.NodeInfo k (Proxy a)) (PM.NodeInfo k (Proxy b)) a b
251− traverseNodeInfo = PM.bitraverseNodeInfo pure (\ ~Proxy -> pure Proxy)
247+ traverse = bitraverseNodeInfo pure
252
248
253bitraverseNodeInfo
249bitraverseNodeInfo
254 :: Applicative f
250 :: Applicative f