github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity

Unpack Annotated separately.

Browse Source
This commit is contained in:
Rob Rix 2015-11-19 17:22:55 -08:00
parent f40fc7e117
commit 389f0a0983
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/Unified.hs
View File

@ -8,16 +8,17 @@ import Control.Arrow
import Control.Monad.Free
import Control.Comonad.Cofree
import Data.List
import Data.Map
import qualified Data.Map as Map
unified :: Diff a Info -> String -> String -> String
unified diff before after =
fst $ iter f mapped where
fst $ iter g mapped where
mapped = fmap (unifiedPatch &&& range) diff
f (Annotated (_, Info range _) (Leaf _)) = (substring range after, Just range)
f (Annotated (_, Info range _) (Indexed i)) = (unifiedRange range i after, Just range)
f (Annotated (_, Info range _) (Fixed f)) = (unifiedRange range f after, Just range)
f (Annotated (_, Info range _) (Keyed k)) = (unifiedRange range (sort $ snd <$> toList k) after, Just range)
g (Annotated (_, info) syntax) = f info syntax
f (Info range _) (Leaf _) = (substring range after, Just range)
f (Info range _) (Indexed i) = (unifiedRange range i after, Just range)
f (Info range _) (Fixed f) = (unifiedRange range f after, Just range)
f (Info range _) (Keyed k) = (unifiedRange range (sort $ snd <$> Map.toList k) after, Just range)
unifiedPatch :: Patch (Term a annotation) -> String
unifiedPatch _ = ""