1
1
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00

Define stripDiff in terms of mapAnnotations.

This commit is contained in:
Rob Rix 2017-02-07 15:04:11 -05:00
parent 9a39762d91
commit 86a5f2f077

View File

@ -308,7 +308,7 @@ stripDiff
:: (Functor f, Functor g) :: (Functor f, Functor g)
=> Free (TermF f (g (Record (h ': t)))) (Patch (Term f (Record (h ': t)))) => Free (TermF f (g (Record (h ': t)))) (Patch (Term f (Record (h ': t))))
-> Free (TermF f (g (Record t))) (Patch (Term f (Record t))) -> Free (TermF f (g (Record t))) (Patch (Term f (Record t)))
stripDiff = iter (\ (h :< f) -> wrap (fmap rtail h :< f)) . fmap (pure . fmap stripTerm) stripDiff = mapAnnotations rtail
-- Instances -- Instances