2630 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	226dc1e966	Hide Data.Set.split.	2015-12-01 11:33:10 -05:00
Rob Rix	5512f48ee5	Add a --split option.	2015-12-01 11:32:52 -05:00
Rob Rix	f655c414f7	Bind the diff outside the output.	2015-12-01 11:26:46 -05:00
Rob Rix	bfb982f69e	Only format unified diffs when --unified is used.	2015-12-01 11:24:33 -05:00
Rob Rix	e8609ba886	Remove files.	2015-12-01 11:22:28 -05:00
Rob Rix	0dbfbba869	Use the parsed arguments.	2015-12-01 11:22:26 -05:00
Rob Rix	250f52e01a	Parse the args with our parser.	2015-12-01 11:19:40 -05:00
Rob Rix	2976bb1f18	Add a parser for our arguments.	2015-12-01 11:15:13 -05:00
Rob Rix	b98839393d	Split the sources up into fields.	2015-12-01 11:15:05 -05:00
Rob Rix	3c1c4e6911	Add the model for our arguments.	2015-12-01 11:08:04 -05:00
Rob Rix	a2e1038190	Bring in optparse-applicative.	2015-12-01 11:00:58 -05:00
Rob Rix	d5f53facd2	Stub in a Split module.	2015-12-01 10:56:27 -05:00
Rob Rix	be48dd844f	unifiedRange operates on its argument, not the after string.	2015-12-01 10:24:36 -05:00
Rob Rix	90b1cce022	Minimal summation of diffs.	2015-12-01 10:13:05 -05:00
Rob Rix	932e07d47d	Annotated is Foldable.	2015-12-01 10:12:52 -05:00
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