joshvera
|
39df978cb7
|
insert Indexed rows
|
2015-12-04 15:05:43 -05:00 |
|
joshvera
|
0b558516a9
|
insert Leaves
|
2015-12-04 14:43:15 -05:00 |
|
joshvera
|
a8dfa0c665
|
stub insertToRows
|
2015-12-04 14:39:06 -05:00 |
|
joshvera
|
e15ecb934f
|
factoring
|
2015-12-04 14:23:22 -05:00 |
|
joshvera
|
0d6ac00101
|
Test two-line formatted indexed nodes
|
2015-12-04 14:18:53 -05:00 |
|
joshvera
|
a37e199f11
|
format tests
|
2015-12-04 14:18:41 -05:00 |
|
joshvera
|
438cb5f04c
|
Promote through empty columns
|
2015-12-04 14:18:26 -05:00 |
|
joshvera
|
c0c94a3be9
|
Remove splitDiff/splitPatch/termToHTML
|
2015-12-04 14:17:14 -05:00 |
|
joshvera
|
77ef9808f0
|
remove some imports
|
2015-12-04 14:16:54 -05:00 |
|
joshvera
|
f6a6ddb4d3
|
test two unchanged lines
|
2015-12-04 12:02:41 -05:00 |
|
joshvera
|
50a1e682bc
|
Implement actualLines to handle newlines at the end of text
|
2015-12-04 12:02:26 -05:00 |
|
joshvera
|
195272faaa
|
Test different formatting
|
2015-12-04 11:37:01 -05:00 |
|
joshvera
|
4389a08a95
|
spaces
|
2015-12-04 11:26:03 -05:00 |
|
joshvera
|
e0e5c02926
|
Move functions out to contextRows, starts, and ends
|
2015-12-04 11:24:42 -05:00 |
|
Rob Rix
|
00852e5cab
|
Rewrite zipMaybe as zipWithMaybe .
|
2015-12-04 10:52:47 -05:00 |
|
Rob Rix
|
1516957fec
|
Use the left/right child ranges.
|
2015-12-04 10:50:00 -05:00 |
|
Rob Rix
|
6aef6bc474
|
Nest the ranges in the expectations.
|
2015-12-04 10:49:53 -05:00 |
|
Rob Rix
|
563973e210
|
Use starts/ends.
|
2015-12-04 10:48:04 -05:00 |
|
Rob Rix
|
f76335f38a
|
Add functions to get a pair of start/end indices from a pair of ranges.
|
2015-12-04 10:47:58 -05:00 |
|
Rob Rix
|
cc48afb663
|
Nest the start/end range & index tuples so we don’t need to destructure them.
|
2015-12-04 10:46:47 -05:00 |
|
Rob Rix
|
59e6577f5e
|
Correct the accumulation of the terminal context.
|
2015-12-04 10:43:45 -05:00 |
|
Rob Rix
|
fe5b6d2011
|
We don’t need this annotation.
|
2015-12-04 10:40:11 -05:00 |
|
Rob Rix
|
31e5cc9353
|
Rearrange the rows/indices to match the function return.
|
2015-12-04 10:39:05 -05:00 |
|
Rob Rix
|
62223655a6
|
Adjoin the context & child rows.
|
2015-12-04 10:28:46 -05:00 |
|
Rob Rix
|
ba5e5f5b9e
|
Correct the expected ranges.
|
2015-12-04 10:27:03 -05:00 |
|
Rob Rix
|
d4ea7a04cc
|
Offset the ends of ranges too.
|
2015-12-04 10:26:15 -05:00 |
|
Rob Rix
|
618a43a00d
|
Clarify which ranges we’re fetching to the end of.
|
2015-12-04 10:25:54 -05:00 |
|
Rob Rix
|
015e2d9437
|
adjoinRows has a right identity as well.
|
2015-12-04 10:22:54 -05:00 |
|
Rob Rix
|
dbdf194f6a
|
Adjoin the final context.
|
2015-12-04 10:20:26 -05:00 |
|
Rob Rix
|
d3c5db105d
|
Test the rows computed for non-empty unchanged branches.
|
2015-12-04 10:19:19 -05:00 |
|
Rob Rix
|
72eea0c2f5
|
Use the span convenience.
|
2015-12-04 10:17:39 -05:00 |
|
Rob Rix
|
3efbc70622
|
Add a span convenience.
|
2015-12-04 10:17:33 -05:00 |
|
Rob Rix
|
1f73e92a79
|
The tests depend on free .
|
2015-12-04 10:17:26 -05:00 |
|
Rob Rix
|
1814806980
|
Add API to offset ranges in Info and Annotated.
|
2015-12-04 10:12:47 -05:00 |
|
Rob Rix
|
357a1aa16c
|
Expect text nodes.
|
2015-12-04 10:07:38 -05:00 |
|
Rob Rix
|
7648c65e52
|
Append the remainder of the context.
|
2015-12-04 10:06:49 -05:00 |
|
Rob Rix
|
2bacc86086
|
Add a function to append the remainder of the context as text nodes.
|
2015-12-04 10:06:34 -05:00 |
|
Rob Rix
|
4fe345086d
|
Use the right categories on the right side.
|
2015-12-04 10:01:52 -05:00 |
|
Rob Rix
|
e6c96ed60b
|
Wrap indexed Row s elements in Ul elements.
|
2015-12-04 10:00:50 -05:00 |
|
Rob Rix
|
2b06e3cc10
|
Implement bimap over Row .
`Row` isn’t actually a proper `Bifunctor` because it doesn’t have type
parameters, but we can still implement the function ourselves.
|
2015-12-04 10:00:25 -05:00 |
|
Rob Rix
|
e60379300f
|
Remove the unused one line unchanged indexed source/range bindings.
|
2015-12-04 09:50:12 -05:00 |
|
Rob Rix
|
35c573e00b
|
Test the rows generated for single line empty unchanged indexed nodes.
|
2015-12-04 09:49:34 -05:00 |
|
Rob Rix
|
89afcac011
|
Use the unchanged API.
|
2015-12-04 09:46:58 -05:00 |
|
Rob Rix
|
b5bb6c952b
|
Add a convenience for constructing unchanged Annotated terms.
|
2015-12-04 09:46:24 -05:00 |
|
Rob Rix
|
b5c8f82e52
|
Remove lineRange & cats.
|
2015-12-04 09:45:00 -05:00 |
|
Rob Rix
|
d91e5c36ea
|
Use the info convenience.
|
2015-12-04 09:44:54 -05:00 |
|
Rob Rix
|
1902822257
|
Add a convenience for constructing info.
|
2015-12-04 09:44:09 -05:00 |
|
Rob Rix
|
0d9298418e
|
Use the convenience in the single-line unchanged leaves test.
|
2015-12-04 09:42:57 -05:00 |
|
Rob Rix
|
3a8f02f163
|
Add a convenience for the categories.
|
2015-12-04 09:42:42 -05:00 |
|
Rob Rix
|
43691b9473
|
Add source/range for a single line indexed string.
|
2015-12-04 09:41:11 -05:00 |
|