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 |
|
Rob Rix
|
619c16e72d
|
These definitions of cata and ana admit the usual definition of hylo.
|
2016-03-18 13:08:59 -04:00 |
|
Rob Rix
|
dfb02c877b
|
Rename the type variable to something more sensible.
|
2016-03-18 13:06:53 -04:00 |
|
Rob Rix
|
f45796ab4a
|
Use the obvious type variable.
|
2016-03-18 12:59:49 -04:00 |
|
Rob Rix
|
4c6be8d2bb
|
Implement cata pointfree.
|
2016-03-18 12:59:06 -04:00 |
|
Rob Rix
|
eccbe10fea
|
Define unCofree over Cofree.
|
2016-03-18 12:58:40 -04:00 |
|
Rob Rix
|
53de236860
|
Generalize cata over Cofree .
|
2016-03-18 12:51:32 -04:00 |
|
Rob Rix
|
82e29e2df7
|
Define anamorphisms over Cofree.
|
2016-03-18 12:50:16 -04:00 |
|
Rob Rix
|
bf87e931b7
|
Move the annotated hylo from Interpreter into Term.
|
2016-03-18 12:43:29 -04:00 |
|
Rob Rix
|
495204ce90
|
Extract a function to align terms.
|
2016-03-18 12:08:26 -04:00 |
|
Rob Rix
|
e61d8a27ff
|
Stub in a type synonym for aligned diffs.
|
2016-03-18 12:02:07 -04:00 |
|
Rob Rix
|
00c3a2ef9f
|
Spike out a function aligning Terms in Patches.
|
2016-03-18 12:01:59 -04:00 |
|
Rob Rix
|
23ba7c0ae6
|
hylo over Fix.
|
2016-03-18 12:00:00 -04:00 |
|
Rob Rix
|
ea6fd75131
|
cata over Fix.
|
2016-03-18 11:59:54 -04:00 |
|
Rob Rix
|
793025e65f
|
ana over Fix.
|
2016-03-18 11:59:48 -04:00 |
|
Rob Rix
|
235e2207e8
|
Stub in a Fix type for the sake of experimentation.
|
2016-03-18 11:59:37 -04:00 |
|
Rob Rix
|
daba89d6b0
|
Be precise as to which cata we mean.
|
2016-03-18 11:59:19 -04:00 |
|
Rob Rix
|
2aee251d2f
|
Use pattern synonyms to define AlignThese.
|
2016-03-18 11:43:48 -04:00 |
|
Rob Rix
|
e143245098
|
Use pattern synonyms to define AlignThat.
|
2016-03-18 11:42:54 -04:00 |
|
Rob Rix
|
8eb3025d06
|
Use pattern synonyms to define alignThis.
|
2016-03-18 11:42:41 -04:00 |
|