1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 23:11:50 +03:00
Commit Graph

7880 Commits

Author SHA1 Message Date
Rob Rix
3cdc9bd745 Simplify the Stream-unconsing. 2015-10-06 11:48:50 -04:00
Rob Rix
5e144553fd Add a function to compute the cost of the rest of the diff. 2015-10-06 11:48:04 -04:00
Rob Rix
4e6dd07e78 Extract the diff. 2015-10-06 11:46:30 -04:00
Rob Rix
3919a4c093 Interpret free algorithms where we’re computing a diff. 2015-10-06 11:43:17 -04:00
Rob Rix
6e1a7c6794 Memoize a cost for diffs. 2015-10-06 11:41:37 -04:00
Rob Rix
03c5f0b644 Stub diffing in the middle of the graph. 2015-10-06 11:40:54 -04:00
Rob Rix
1d993bb65b Diff along the right of the edit graph. 2015-10-06 11:40:42 -04:00
Rob Rix
c090fc33d5 Diff along the bottom of the edit graph. 2015-10-06 11:39:34 -04:00
Rob Rix
f442f3594f Stub in diffing with Matrix. 2015-10-06 11:38:50 -04:00
Rob Rix
88030e217f Short-circuit degenerate cases. 2015-10-06 11:30:41 -04:00
Rob Rix
8dd605bb54 Add a function computing the cost of a diff. 2015-10-06 11:30:21 -04:00
Rob Rix
b910fdba46 Section header for Syntax.map. 2015-10-06 11:08:39 -04:00
Rob Rix
286ff11f79 Rename iter to iterate. 2015-10-06 11:05:02 -04:00
Rob Rix
8800c57ca7 Oh yeah, method dispatch works too. 2015-10-06 11:04:36 -04:00
Rob Rix
8226285153 Implement iter as a method. 2015-10-06 11:04:14 -04:00
Rob Rix
c0edc77185 Implement iter by case analysis. 2015-10-06 11:03:03 -04:00
Rob Rix
3da765d32b Identity. 2015-10-06 11:02:22 -04:00
Rob Rix
3d06b533bc Implement iter over Free. 2015-10-06 11:02:15 -04:00
Rob Rix
24e113d2f0 The hash property on Free is public. 2015-10-06 11:00:47 -04:00
Rob Rix
0be3eeb8e1 Dictionary diffing should recur. 2015-10-06 09:28:30 -04:00
Rob Rix
13939ba7c6 Merge branch 'master' into shortest-edit-script-in-algorithm 2015-10-05 17:56:09 -04:00
Rob Rix
fd397ce958 Merge pull request #57 from github/a-language-in-the-specific-domain-of-diffing
A language in the specific domain of diffing
2015-10-05 17:55:40 -04:00
Rob Rix
3fb6f24d8b Diff indexed terms. 2015-10-05 17:30:29 -04:00
Rob Rix
b08a51a360 Abbreviate further. 2015-10-05 17:29:20 -04:00
Rob Rix
071bf6bd6f Stub in a matrix pairing the elements to be diffed. 2015-10-05 17:27:28 -04:00
Rob Rix
d00da3f90a Remove evaluation from Algorithm. 2015-10-05 17:26:17 -04:00
Rob Rix
b7b56b1d01 Move the body of evaluation into FreeAlgebra. 2015-10-05 17:25:47 -04:00
Rob Rix
1ef04248cb Bring the typealiases from Algorithm into FreeAlgorithm. 2015-10-05 17:25:17 -04:00
Rob Rix
3fdda99653 Matrix is a functor. 2015-10-05 17:18:40 -04:00
Rob Rix
0e8b74e830 Matrix has a private fieldwise constructor. 2015-10-05 17:18:35 -04:00
Rob Rix
81b6c172cf Populate the matrix with a compute function. 2015-10-05 17:12:28 -04:00
Rob Rix
c935e4a3d9 Stub in a matrix of memoized values. 2015-10-05 17:11:56 -04:00
Rob Rix
c1e9d8419c Merge branch 'master' into shortest-edit-script-in-algorithm 2015-10-05 15:36:32 -04:00
Rob Rix
1c761ba0ab Merge branch 'master' into a-language-in-the-specific-domain-of-diffing 2015-10-05 15:12:24 -04:00
Rob Rix
ab36a6e36c Merge pull request #56 from github/free-and-fix
Free, Fix, and Patch
2015-10-05 15:12:04 -04:00
Rob Rix
9e2b6bd3b4 Document the ByIndex case a bit more. 2015-10-05 14:54:03 -04:00
Rob Rix
b7ebabd529 Stub in ByIndex diffing. 2015-10-05 13:17:43 -04:00
Rob Rix
80ba5fb379 More thorough documentation of FreeAlgorithm. 2015-10-05 13:15:23 -04:00
Rob Rix
437fbd269f Algorithm is an operation. 2015-10-05 13:14:46 -04:00
Rob Rix
847216a942 Document some elements of FreeAlgorithm. 2015-10-05 13:05:31 -04:00
Rob Rix
49aa2b3dd5 Section headers. 2015-10-05 13:02:04 -04:00
Rob Rix
30d16f87e8 Remove the free diff function. 2015-10-05 13:00:36 -04:00
Rob Rix
e2e6a0ea03 Note the need for SES. 2015-10-05 12:51:43 -04:00
Rob Rix
4b3b1ec3d4 Top-level construction of FreeAlgorithms from Terms. 2015-10-05 12:51:05 -04:00
Rob Rix
1af75347a1 Add a hack protocol to allow an ersatz same-type requirement. 2015-10-05 12:50:47 -04:00
Rob Rix
00ae25a932 Add a function computing the FreeAlgorithm for two terms. 2015-10-05 12:33:59 -04:00
Rob Rix
81e80eae50 Evaluation of FreeAlgorithm where A: Equatable. 2015-10-05 12:32:34 -04:00
Rob Rix
346a39fafc Evaluation of FreeAlgorithm. 2015-10-05 12:32:21 -04:00
Rob Rix
fa3be5108e FreeAlgorithm is a monad. 2015-10-05 12:30:10 -04:00
Rob Rix
c70ab9e9a4 FreeAlgorithm is a functor. 2015-10-05 12:29:35 -04:00