2815 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	7740654d68	diffCost sums term sizes.	2015-11-30 19:16:22 -05:00
Rob Rix	5069014381	Compute the size of terms.	2015-11-30 19:13:20 -05:00
Rob Rix	f00b8c3e7d	Add a patchSum function.	2015-11-30 19:08:28 -05:00
Rob Rix	4c403422ce	Add a diffSum function.	2015-11-30 19:06:48 -05:00
Rob Rix	8a17c2eea9	Pass the source into annotationAndSyntaxToChunks.	2015-11-30 18:50:08 -05:00
Rob Rix	701846c49d	Rename f.	2015-11-30 18:28:40 -05:00
Rob Rix	6c2bde6bd0	Cache invalidation.	2015-11-30 18:25:59 -05:00
Rob Rix	6fd8ad90d5	SES calls into diffAt.	2015-11-30 18:17:30 -05:00
Rob Rix	149b80e1da	Perform the diff in the general case.	2015-11-30 18:17:21 -05:00
Rob Rix	a76f645f63	Abstract over type parameters.	2015-11-30 18:17:15 -05:00
Rob Rix	b0762f5e5f	Remove an unnecessary $.	2015-11-30 17:52:45 -05:00
Rob Rix	7ef0800b75	Remove the copy binding.	2015-11-30 17:50:23 -05:00
Rob Rix	56b4ae6ea3	Short-circuit at end of a/b attributes costs.	2015-11-30 17:47:32 -05:00
Rob Rix	4cd988b89b	Delete/insert are consed with costs.	2015-11-30 17:47:10 -05:00
Rob Rix	f68d7c253a	Compute cost and cons together edit scripts at once.	2015-11-30 17:37:13 -05:00
Rob Rix	827ae6374a	Produce diff/cost pairs.	2015-11-30 17:28:02 -05:00
Rob Rix	b6251522a3	Add a function to compute a recursive copy.	2015-11-30 17:25:54 -05:00
Rob Rix	bf333bc073	Add delete & insert bindings.	2015-11-30 17:25:43 -05:00
Rob Rix	37f6c02432	Add a recur function closing over the operands.	2015-11-30 17:25:18 -05:00
Rob Rix	3f6caffb04	sumCost sums the cost fields.	2015-11-30 17:24:54 -05:00
Rob Rix	1d99c50a44	Add a best function.	2015-11-30 17:08:28 -05:00
Rob Rix	f511c85691	The indices come after the functions.	2015-11-30 17:08:08 -05:00
Rob Rix	ea6369bdb1	Parameterize by the comparison function.	2015-11-30 16:58:21 -05:00
Rob Rix	29475a1ef6	Bring the sumCost function over.	2015-11-30 16:57:23 -05:00
Rob Rix	e1cd992155	Parameterize by the cost function.	2015-11-30 16:57:14 -05:00
Rob Rix	f714539691	Rename the state variable.	2015-11-30 16:55:22 -05:00
Rob Rix	461c7629c9	We’re going to need these.	2015-11-30 16:54:51 -05:00
Rob Rix	1704369fdc	We don’t use these bindings.	2015-11-30 16:53:04 -05:00
Rob Rix	b0b43cf3b0	Eliminate with pattern matching.	2015-11-30 16:51:45 -05:00
Rob Rix	6b61eb7777	Attempt to stub in computation of the rest of the diff.	2015-11-30 16:48:33 -05:00
Rob Rix	3429f52e3f	Move the return inside the handling of the Just case.	2015-11-30 16:45:54 -05:00
Rob Rix	7793a8de2f	Stub in caching & computation.	2015-11-30 16:44:41 -05:00
Rob Rix	f81de8d289	Get the state in the general case.	2015-11-30 16:25:00 -05:00
Rob Rix	47f3b61395	Diffing a non-empty list against an empty list produces deletions.	2015-11-30 16:23:34 -05:00
Rob Rix	0d2e881405	Diffing an empty list against a non-empty list produces insertions.	2015-11-30 16:21:41 -05:00
Rob Rix	df23b3af23	Diffing empty lists produces an empty diff.	2015-11-30 16:19:34 -05:00
Rob Rix	e4c7ce28c0	Remove needless parens.	2015-11-30 16:17:37 -05:00
Rob Rix	4a3c63473e	Import Map qualified.	2015-11-30 16:17:24 -05:00
Rob Rix	efee13fd63	Stub in a diffAt function.	2015-11-30 16:02:37 -05:00
Rob Rix	71dccbdf6e	Bring in the state monad.	2015-11-30 16:00:34 -05:00
Rob Rix	c520a03f7b	Correct the sense of categories comparing.	2015-11-27 14:49:51 -05:00
Rob Rix	8b74a99e7e	Everything is lists of chunks.	2015-11-27 14:28:06 -05:00
Rob Rix	4a6a17ce26	Remove `Unified.	2015-11-27 14:28:01 -05:00
Rob Rix	b1629443fb	Compute the chunks in a Unified rendering.	2015-11-27 14:15:42 -05:00
Rob Rix	ea37bf8889	Add a Unified datatype to render to.	2015-11-27 14:15:34 -05:00
Rob Rix	f2cede523e	Only take the difference # of characters.	2015-11-27 12:50:08 -05:00
Rob Rix	a2f190fb14	Export substring.	2015-11-27 12:49:46 -05:00
Rob Rix	6852e72e08	Factor Chunk out of substring.	2015-11-27 12:49:40 -05:00
Rob Rix	4aa89bd919	Print out the unified diff.	2015-11-27 12:42:00 -05:00
Rob Rix	070e60f149	Alphabetical order.	2015-11-27 12:41:38 -05:00