Rob Rix
a85cbbbd6f
Parenthesize.
2015-11-17 13:37:10 -08:00
Rob Rix
f066ad3844
Import Syntax.
2015-11-17 13:35:55 -08:00
Rob Rix
6d7cfbaa53
Import Free
.
2015-11-17 13:35:52 -08:00
Rob Rix
9c6a1f3ccb
s/AST/Syntax/
2015-11-17 13:32:14 -08:00
Rob Rix
cc4cf569c1
Remove AST.
2015-11-17 13:31:38 -08:00
Rob Rix
cb80d7de54
Derive Show and Eq.
2015-11-17 13:31:17 -08:00
Rob Rix
06c5dfe9ed
Syntax is a functor.
2015-11-17 13:30:20 -08:00
Rob Rix
538f5355b2
Add a module defining Syntax.
2015-11-17 13:29:55 -08:00
Rob Rix
575398e531
Add the Haskell spike.
2015-11-17 13:25:36 -08:00
Josh Vera
bdbc208024
Merge pull request #233 from github/optimized-diffing-within-leaves
...
Optimized diffing within leaves
2015-11-13 10:42:45 -05:00
Rob Rix
23f050ab81
Correct a test.
2015-11-12 18:12:04 -05:00
Rob Rix
aed17adfed
Remove the unflattened implementation.
2015-11-12 18:01:23 -05:00
Rob Rix
561045ced4
Flatten out equality over Cofree.
2015-11-12 18:01:12 -05:00
Rob Rix
e7b1f59658
Switch through the term directly.
2015-11-12 17:46:18 -05:00
Rob Rix
4d3c335146
Use a single cost function for both diffs.
2015-11-12 17:44:52 -05:00
Rob Rix
822ce7ccc5
Add a Cofree.size
function.
...
This should avoid the protocol indirection around `TermType`.
2015-11-12 17:44:35 -05:00
Rob Rix
8cf0ef097c
Patch.sum/difference are not allowed to throw.
2015-11-12 17:43:32 -05:00
Rob Rix
3f81b9d8b9
Inline size computations on Patch
.
2015-11-12 17:35:34 -05:00
Rob Rix
7da058ca55
Manually fuse TermType.size
.
2015-11-12 17:27:07 -05:00
Rob Rix
ab615dc84e
Manually fuse the map and catamorphism in Free.sum
.
2015-11-12 17:09:19 -05:00
Rob Rix
b0054aee54
Remove Free.reduce
.
2015-11-12 17:00:05 -05:00
Rob Rix
77e9778f91
Remove the unused Interpreter.cost
static function.
2015-11-12 16:59:56 -05:00
Rob Rix
f2004a22b8
Inline reduction in Free.sum
.
2015-11-12 16:55:11 -05:00
Rob Rix
2963a76943
Simplify the refineLeafReplacement
function.
2015-11-12 16:54:55 -05:00
Rob Rix
b276045348
Remove cons
.
2015-11-12 16:13:31 -05:00
Rob Rix
82a8f095cf
Inline calls to cons
.
2015-11-12 16:13:23 -05:00
Rob Rix
4a356a8a0a
Remove costOfStream
.
2015-11-12 16:10:23 -05:00
Rob Rix
b8fb48d723
Remove min
.
2015-11-12 16:10:19 -05:00
Rob Rix
dac24bbf24
µ-optimizations for SES.
...
1. Avoid redundant computations of cost on the fast path (equal
elements at this vertex).
2. Don’t call `min`; inline the branches instead.
3. Don’t call `costOfStream`; inline the costs instead.
2015-11-12 16:09:53 -05:00
Rob Rix
5253de2ef5
Inline stream costs.
2015-11-12 15:58:14 -05:00
Rob Rix
17b9c0a9ec
Fast fail on out of bounds diagonals.
2015-11-12 15:58:03 -05:00
Rob Rix
e1f38f64d0
Precompute the width of the matrix.
2015-11-12 15:26:50 -05:00
Rob Rix
dd812a2b2b
Test that we aren’t at the endIndex
instead of testing containment.
...
This should be O(1) for all index types.
2015-11-12 15:20:51 -05:00
Rob Rix
db5307a365
Benchmark diffing within leaves separately.
2015-11-12 15:07:00 -05:00
Rob Rix
a4db95be66
Merge pull request #231 from github/split-css-out
...
Move the CSS into its own file.
2015-11-12 13:43:50 -05:00
Rob Rix
1f54f77677
Move the CSS into its own file.
2015-11-12 13:41:50 -05:00
Rob Rix
4f19e4c700
Merge pull request #227 from github/line-numbers
...
Add line numbers to diffs
2015-11-10 18:36:37 -05:00
joshvera
ac32d3dbcb
++Madness
2015-11-10 15:44:05 -05:00
joshvera
50c001f95f
++Madness
2015-11-10 14:17:56 -05:00
joshvera
b1241decda
use the right --> overload
2015-11-10 14:11:09 -05:00
joshvera
5c20cfebbb
++Madness
2015-11-10 13:57:50 -05:00
joshvera
2fc0349be3
Pass lines and columns to refined leaves
2015-11-09 15:21:59 -05:00
joshvera
5eddc274cb
Map Range<Index> not Range<Column> to Range<Int>
2015-11-09 15:19:34 -05:00
joshvera
2555ead1a7
Revert xcscheme changes
2015-11-09 15:16:05 -05:00
joshvera
0bc8c59e16
++Madness
2015-11-09 15:15:16 -05:00
joshvera
a520c5d65e
calculate line numbers
2015-11-09 14:13:47 -05:00
joshvera
cdda1a5d8d
set data-line-number attributes
2015-11-09 13:54:09 -05:00
joshvera
f77b899377
Merge branch 'master' into line-numbers
2015-11-09 12:06:48 -05:00
joshvera
ca15a40773
pass lineNumbers to diffToDOM
2015-11-09 12:06:45 -05:00
joshvera
14eba00c32
++Madness
2015-11-08 15:24:37 -05:00