Rob Rix
|
aaaf8f27a4
|
Stub in a function to make arbitrary leaves & sources in some type.
|
2015-12-22 13:16:03 -05:00 |
|
Rob Rix
|
3d98361301
|
Highlight the .patch class.
|
2015-12-22 13:09:10 -05:00 |
|
Rob Rix
|
17a9de76ae
|
Highlight patches within any code cell.
|
2015-12-22 13:09:02 -05:00 |
|
Rob Rix
|
0775f90ce4
|
Syntax highlight categories.
|
2015-12-22 13:06:37 -05:00 |
|
Rob Rix
|
867772d749
|
Remove the corresponding annotatedToRows test.
|
2015-12-22 13:04:39 -05:00 |
|
Rob Rix
|
2a8a879590
|
Remove the hard-coded test.
|
2015-12-22 13:04:33 -05:00 |
|
Rob Rix
|
c4da8fb229
|
Generalize the single-line leaf test to arbitrary sources.
|
2015-12-22 13:04:07 -05:00 |
|
Rob Rix
|
690966086e
|
Remove some redundant parentheses.
|
2015-12-22 12:54:01 -05:00 |
|
Rob Rix
|
38a317156b
|
Move arbitrary term generation into its own module.
|
2015-12-22 12:53:31 -05:00 |
|
Rob Rix
|
fbe899be21
|
Remove the changed flag from Line .
|
2015-12-22 12:47:12 -05:00 |
|
Rob Rix
|
3b3a62a777
|
Test that single-line leaves are split correctly.
|
2015-12-22 12:39:54 -05:00 |
|
Rob Rix
|
fc053ffa13
|
Replace the old row rendering with the new row rendering.
|
2015-12-22 12:26:43 -05:00 |
|
Rob Rix
|
b76be23b6e
|
Map rows into renderables.
|
2015-12-22 12:22:00 -05:00 |
|
Rob Rix
|
a72e6b868f
|
Split into rows.
|
2015-12-22 12:14:26 -05:00 |
|
Rob Rix
|
d0460f8792
|
Wrap patches in a div.
|
2015-12-22 11:41:14 -05:00 |
|
Rob Rix
|
ab951a9c6b
|
Define toMarkup over Renderable SplitDiffs by iteration.
|
2015-12-22 11:38:19 -05:00 |
|
Rob Rix
|
0af18aa16d
|
Define toMarkup for Renderable terms via the Renderable syntax instance.
|
2015-12-22 11:28:20 -05:00 |
|
Rob Rix
|
0c7a59f9c9
|
Define toMarkup over Renderable ranged syntax.
|
2015-12-22 11:26:29 -05:00 |
|
Rob Rix
|
5e361e7548
|
Stub in a definition of toMarkup over Renderable free SplitDiffs.
|
2015-12-22 10:58:21 -05:00 |
|
Rob Rix
|
eab354c5f9
|
Define a ToMarkup instance over Renderable pure SplitDiffs.
|
2015-12-22 10:56:23 -05:00 |
|
Rob Rix
|
25a524ce22
|
Define toMarkup over Renderable keyed terms.
|
2015-12-22 10:55:28 -05:00 |
|
Rob Rix
|
1bed6a7710
|
Define toMarkup over Renderable fixed terms.
|
2015-12-22 10:54:54 -05:00 |
|
Rob Rix
|
a0ac63f8b7
|
Extract the handling of the contents into a binding.
|
2015-12-22 10:54:31 -05:00 |
|
Rob Rix
|
1197182f35
|
Define toMarkup over Renderable indexed terms.
|
2015-12-22 10:52:36 -05:00 |
|
Rob Rix
|
a267cbdd7a
|
Add a function to get the markup & separator for a given child term.
|
2015-12-22 10:52:22 -05:00 |
|
Rob Rix
|
b4ae80239a
|
Classify the markup outside of the case expression.
|
2015-12-22 10:41:23 -05:00 |
|
Rob Rix
|
8d0db8ed06
|
Define a ToMarkup instance over Renderable leaf terms.
|
2015-12-22 10:28:57 -05:00 |
|
Rob Rix
|
a04f57303c
|
Reduce RenderableSplitDiff to Renderable .
|
2015-12-22 10:24:37 -05:00 |
|
Rob Rix
|
6703efceb6
|
Stub in a RenderableSplitDiff type.
|
2015-12-22 10:20:36 -05:00 |
|
Rob Rix
|
c70eb44f90
|
Use the global contextLines function.
|
2015-12-22 10:09:26 -05:00 |
|
Rob Rix
|
37860544ac
|
Generalize contextLines to return [Line a] .
|
2015-12-22 10:09:06 -05:00 |
|
Rob Rix
|
c7a7a7987e
|
splitDiffByLines & splitAnnotatedByLines produce rows of split diffs.
|
2015-12-22 10:02:17 -05:00 |
|
Rob Rix
|
fbe3b8dbeb
|
Define openTerm & openDiff in terms of an openRange function.
|
2015-12-22 09:58:07 -05:00 |
|
Rob Rix
|
37dcb3adea
|
Define an openDiff function over SplitDiff.
|
2015-12-22 09:56:11 -05:00 |
|
Rob Rix
|
b1c5e3e305
|
Represent SplitDiff patches totally.
|
2015-12-22 09:54:40 -05:00 |
|
Rob Rix
|
3368857e2b
|
Represent SplitDiff patches using Maybe .
|
2015-12-22 09:52:55 -05:00 |
|
Rob Rix
|
ffbd9b5b51
|
Add a type synonym for a split diff.
|
2015-12-22 09:37:41 -05:00 |
|
Rob Rix
|
b4cd2c14c4
|
Row is a Functor.
|
2015-12-21 23:42:57 -05:00 |
|
Rob Rix
|
eb12d72c36
|
Line is a Functor.
|
2015-12-21 23:42:54 -05:00 |
|
Rob Rix
|
597fe099bc
|
Pass an additional open predicate to adjoinRowsBy.
|
2015-12-21 23:09:14 -05:00 |
|
Rob Rix
|
c7e5690da4
|
Define splitDiffByLines over Replace patches.
|
2015-12-21 23:06:27 -05:00 |
|
Rob Rix
|
c471a5e779
|
Correct the source used in the Delete case.
|
2015-12-21 23:06:18 -05:00 |
|
Rob Rix
|
c2a754bfa0
|
Define splitDiffByLines over Delete patches.
|
2015-12-21 22:59:34 -05:00 |
|
Rob Rix
|
cea5193999
|
Define splitDiffByLines over Insert patches.
|
2015-12-21 22:58:12 -05:00 |
|
Rob Rix
|
cf13cb6488
|
Define splitDiffByLines by pattern matching.
|
2015-12-21 22:48:59 -05:00 |
|
Rob Rix
|
cff017ccdd
|
Define splitAnnotatedByLines over Keyed diffs.
|
2015-12-21 22:45:21 -05:00 |
|
Rob Rix
|
e78f9cdbcf
|
Define splitAnnotatedByLines over Fixed diffs.
|
2015-12-21 22:43:49 -05:00 |
|
Rob Rix
|
cdc01b4995
|
Define splitAnnotatedByLines over Indexed diffs.
|
2015-12-21 22:43:19 -05:00 |
|
Rob Rix
|
97ec8a2e94
|
Compute the rows to the end of the range.
|
2015-12-21 22:42:58 -05:00 |
|
Rob Rix
|
7414c09c18
|
Compute the rows for child diffs.
|
2015-12-21 22:42:27 -05:00 |
|