Dedup traverse instance
commit29815c07e76b79e1bdcb37e0fbb6c82c5af8cd7b
authorJohn Ericson <John.Ericson@Obsidian.Systems>
dateThu 22 Apr 2021, 17:49 (5 years ago)
parent579ca70
src/Data/Patch/MapWithMove.hs+1−5
@@ -244,11 +244,7 @@ instance Foldable (NodeInfo k) where
244244 foldMap = foldMapDefault
245245
246246instance 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
252248
253249bitraverseNodeInfo
254250 :: Applicative f