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 |
|
Rob Rix
|
08c9b84253
|
Stub in splitDiffByLines over Free values.
|
2015-12-21 22:42:08 -05:00 |
|
Rob Rix
|
6c877fd042
|
contextRows uses the constructor it’s passed.
|
2015-12-21 22:41:19 -05:00 |
|
Rob Rix
|
9dba0887c8
|
Remove the local contextLines binding from splitAnnotatedByLines.
|
2015-12-21 22:37:38 -05:00 |
|
Rob Rix
|
ac01a7939c
|
Use the global contextLines definition in splitTermByLines.
|
2015-12-21 22:34:47 -05:00 |
|
Rob Rix
|
f43bbe415b
|
Add a global contextLines definition.
|
2015-12-21 22:34:20 -05:00 |
|
Rob Rix
|
b9ed84b7b6
|
Pass categories to contextLines explicitly.
|
2015-12-21 22:34:08 -05:00 |
|
Rob Rix
|
5f7b33db85
|
Add some range-handling bindings.
|
2015-12-21 22:27:19 -05:00 |
|
Rob Rix
|
27c66b5588
|
Add an adjoin binding.
|
2015-12-21 22:27:10 -05:00 |
|
Rob Rix
|
aa42b88df5
|
adjoinRowsBy takes two different adjoining functions.
|
2015-12-21 22:26:43 -05:00 |
|
Rob Rix
|
2d383b57c8
|
Abbreviate sumRows.
|
2015-12-21 22:26:26 -05:00 |
|
Rob Rix
|
a78ae5a8de
|
Correct the indentation of Line’s Monoid instance.
|
2015-12-21 21:00:53 -05:00 |
|