Rob Rix
|
cff9130426
|
bimap so we get the correct categories.
|
2016-03-22 09:17:59 -04:00 |
|
Rob Rix
|
8b00b66b3f
|
Align leaves.
|
2016-03-22 08:35:38 -04:00 |
|
Rob Rix
|
25e3a13309
|
Align diffs into lists of Join These.
|
2016-03-22 08:20:56 -04:00 |
|
Rob Rix
|
1a3a32e3e1
|
Correct the test fixtures.
|
2016-03-22 00:17:20 -04:00 |
|
Rob Rix
|
16bdf2c1a5
|
Rename maybeFirst/maybeSecond to maybeFst/maybeSnd.
|
2016-03-21 23:56:03 -04:00 |
|
Rob Rix
|
2226acf61c
|
Revert "Add a convenience to construct Source Char."
This reverts commit 63e023e439491207aa739bb0e68660770eaa9272.
|
2016-03-21 19:08:35 -04:00 |
|
Rob Rix
|
7ff808f3dc
|
Add some tests (which won’t typecheck yet).
|
2016-03-21 19:08:02 -04:00 |
|
Rob Rix
|
62ac37c981
|
Add a convenience to construct branch diffs.
|
2016-03-21 18:54:34 -04:00 |
|
Rob Rix
|
361bfc0e81
|
Add a convenience to construct leaf diffs.
|
2016-03-21 18:54:27 -04:00 |
|
Rob Rix
|
1f1be15a99
|
Add a convenience to construct Source Char.
|
2016-03-21 18:54:18 -04:00 |
|
Rob Rix
|
d3a3b68752
|
Add a convenience to construct Info.
|
2016-03-21 18:54:09 -04:00 |
|
Rob Rix
|
745b695dd9
|
The tests depend on bifunctors.
|
2016-03-21 18:53:57 -04:00 |
|
Rob Rix
|
f03cdea1f7
|
Align Indexed branch nodes.
|
2016-03-21 18:27:46 -04:00 |
|
Rob Rix
|
0e83f33c6b
|
Pair ranges and children.
|
2016-03-21 16:08:56 -04:00 |
|
Rob Rix
|
3e73aefb01
|
Don’t bother wrapping in Join.
We need a bifunctor here.
|
2016-03-21 16:04:21 -04:00 |
|
Rob Rix
|
d1d9fa6970
|
Add a function to group children by line.
|
2016-03-21 16:03:10 -04:00 |
|
Rob Rix
|
8a019572dc
|
Embed in Join These outside of the alignSyntax call.
|
2016-03-21 14:47:26 -04:00 |
|
Rob Rix
|
2f37ba14bc
|
Aligned leaf diffs have per-line ranges.
|
2016-03-21 13:38:36 -04:00 |
|
Rob Rix
|
73f8cd56e0
|
Document setCharacterRange.
|
2016-03-21 13:35:33 -04:00 |
|
Rob Rix
|
8cae8fe049
|
Add a function to replace the character range on an Info.
|
2016-03-21 13:35:12 -04:00 |
|
Rob Rix
|
cd2e07bcf3
|
🔥 Data.Aligned.
|
2016-03-21 13:27:20 -04:00 |
|
Rob Rix
|
d3e8b2ba80
|
Stub in a function to align diffs.
|
2016-03-21 13:26:38 -04:00 |
|
Rob Rix
|
89537b4f81
|
Aligned diffs are split diffs.
|
2016-03-21 13:10:28 -04:00 |
|
Rob Rix
|
a3e253804d
|
🔥 theseBoth.
|
2016-03-21 13:06:00 -04:00 |
|
Rob Rix
|
ca1f7ecfef
|
More docs.
|
2016-03-21 13:04:32 -04:00 |
|
Rob Rix
|
5588378da9
|
Document pairWithThese.
|
2016-03-21 13:03:50 -04:00 |
|
Rob Rix
|
6ac6a96179
|
Add a (total) convenience to pair the elements of Both with These.
|
2016-03-21 13:03:15 -04:00 |
|
Rob Rix
|
6422cb38a4
|
Define AlignedDiff as Joining These two terms.
|
2016-03-21 12:53:41 -04:00 |
|
Rob Rix
|
de9ad0bd9e
|
Add an Align instance over lists again.
|
2016-03-21 09:31:12 -04:00 |
|
Rob Rix
|
c16d725773
|
Remove a redundant import.
|
2016-03-21 09:30:54 -04:00 |
|
Rob Rix
|
85fa168cc0
|
Add a Crosswalk instance over Join These.
|
2016-03-21 01:42:36 -04:00 |
|
Rob Rix
|
7629c657b4
|
Add a Crosswalk instance over Identity.
|
2016-03-21 01:42:30 -04:00 |
|
Rob Rix
|
102d1dcf68
|
Readd Crosswalk.
|
2016-03-21 01:41:05 -04:00 |
|
Rob Rix
|
dc0b5f0355
|
Revert "Stub in a Fix type for the sake of experimentation."
This reverts commit 91e8730e7e331abf10406c3d866796bb7f8b6d4f.
|
2016-03-18 15:16:22 -04:00 |
|
Rob Rix
|
9f1b7fc80f
|
Truncate branches for the moment.
|
2016-03-18 15:15:05 -04:00 |
|
Rob Rix
|
ee81295592
|
Don’t bind leaf values.
|
2016-03-18 15:01:11 -04:00 |
|
Rob Rix
|
35215da076
|
Construct Aligned in alignSyntax.
|
2016-03-18 15:00:28 -04:00 |
|
Rob Rix
|
63f6389950
|
Define alignSyntax by case analysis.
|
2016-03-18 14:58:49 -04:00 |
|
Rob Rix
|
a11bc809df
|
Remove the constructor parameter from alignTermBy and rename it.
|
2016-03-18 14:58:01 -04:00 |
|
Rob Rix
|
30e1da5a12
|
Use alignSyntax to construct Aligned functors.
|
2016-03-18 14:56:48 -04:00 |
|
Rob Rix
|
21356e0144
|
Add alignSyntax to split a leaf by its lines.
Doesn’t yet operate on branches. Invalidates some other assumptions.
|
2016-03-18 14:56:32 -04:00 |
|
Rob Rix
|
d318b6565c
|
Get first and second from Data.Bifunctor instead of Control.Arrow.
|
2016-03-18 14:53:52 -04:00 |
|
Rob Rix
|
cceeffe360
|
The annotations are in Join.
|
2016-03-18 14:30:22 -04:00 |
|
Rob Rix
|
bad7878953
|
Pass the sources to alignTermBy.
|
2016-03-18 14:18:19 -04:00 |
|
Rob Rix
|
2900eb1f71
|
alignPatch takes the sources.
|
2016-03-18 14:15:49 -04:00 |
|
Rob Rix
|
8c791fb638
|
Annotate aligned diffs with These Info Info for marginal reductions in dubiousness.
|
2016-03-18 14:03:13 -04:00 |
|
Rob Rix
|
0e36a8af38
|
Rename the parameter to note its plurality.
|
2016-03-18 14:00:19 -04:00 |
|
Rob Rix
|
2a5f465a66
|
Slightly less dubiously, Aligned diffs carry Both Info.
|
2016-03-18 13:58:04 -04:00 |
|
Rob Rix
|
b9fc6d86e2
|
Aligned diffs carry Info.
This is extremely dubious, but it’s a start.
|
2016-03-18 13:55:41 -04:00 |
|
Rob Rix
|
77fd84f831
|
Run alignPatch in Cofree instead of Fix.
|
2016-03-18 13:46:56 -04:00 |
|