github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 09:15:01 +03:00
Code Issues Projects Releases Wiki Activity

📝 the generalization.

Browse Source
This commit is contained in:
Rob Rix 2017-02-07 15:03:59 -05:00
parent 7263b683e5
commit 9a39762d91
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Diff.hs
View File

@ -44,6 +44,8 @@ afterTerm = mergeMaybe after Both.snd
-- | Map a function over the annotations in a diff, whether in diff or term nodes. -- | Map a function over the annotations in a diff, whether in diff or term nodes.
--
-- Typed using Free so as to accommodate Free structures derived from diffs that don’t fit into the Diff type synonym (e.g. because the leaves aren’t in Patch).
mapAnnotations :: (Functor f, Functor g) mapAnnotations :: (Functor f, Functor g)
=> (annotation -> annotation') => (annotation -> annotation')
-> Free (TermF f (g annotation)) (Patch (Term f annotation)) -> Free (TermF f (g annotation)) (Patch (Term f annotation))