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

termToLines produces lines

Browse Source
This commit is contained in:
joshvera 2015-12-04 15:54:40 -05:00
parent b4947255cf
commit 66c81b72cc
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/Split.hs
View File

@ -55,15 +55,17 @@ instance Monoid Line where
termToLines :: Term a Info -> String -> ([Line], Range)
termToLines (Info range _ categories :< syntax) source = (rows syntax, range)
where
rows (Leaf _) = zipWithMaybe rowFromMaybeRows [] rightElements
rows (Indexed i) = bimap id ((:[]) . Ul (classify categories)) <$> childRows i
rows (Leaf _) = Line . (:[]) <$> rightElements
rows (Indexed i) = rewrapLineContentsInUl <$> childLines i
childRows i = appendRemainder $ foldl sumLines ([], start range) i
appendRemainder (lines, previous) = adjoinRows lines $ textElements (Range previous (end range)) source
rewrapLineContentsInUl (Line elements) = Line [ Ul (classify categories) elements ]
lineElements r s = Line . (:[]) <$> textElements r s
childLines i = appendRemainder $ foldl sumLines ([], start range) i
appendRemainder (lines, previous) = adjoinLines lines $ lineElements (Range previous (end range)) source
sumLines (lines, previous) child = (allLines, end childRange)
where
separatorLines = textElements (Range previous $ start childRange) source
allLines = lines `adjoinRows` separatorLines `adjoinRows` childLines
separatorLines = lineElements (Range previous $ start childRange) source
allLines = lines `adjoinLines` separatorLines `adjoinLines` childLines
(childLines, childRange) = termToLines child source
rightElements = Span (classify categories) <$> actualLines (substring range source)