93 Commits

Author	SHA1	Message	Date
Rob Rix	7138d9fb1b	Info has a Range and a set of categories.	2015-11-19 12:04:18 -08:00
Rob Rix	53b6c6846c	Ranges are equatable and showable.	2015-11-19 12:02:53 -08:00
Rob Rix	c925543305	constructAndRun for equal terms.	2015-11-19 11:56:45 -08:00
Rob Rix	87c7a0b6b0	Implement hylomorphism.	2015-11-19 11:56:35 -08:00
Rob Rix	6c6d72601d	Factor out more annotation unpacking.	2015-11-19 11:37:19 -08:00
Rob Rix	c2dc659a57	Factor out annotation unpacking.	2015-11-19 11:36:14 -08:00
Rob Rix	e6385e2832	Diffs are annotated.	2015-11-19 11:27:31 -08:00
Rob Rix	2a081c5aa0	Keyed nodes.	2015-11-18 18:00:10 -08:00
Rob Rix	21d9bb3670	Compose some more functions.	2015-11-18 17:38:48 -08:00
Rob Rix	e91bdbd981	Factor out the operator section.	2015-11-18 17:35:03 -08:00
Rob Rix	63dfb9d08b	Zip Fixed terms.	2015-11-18 17:35:03 -08:00
Rob Rix	d317e32284	Zip Indexed terms.	2015-11-18 17:35:03 -08:00
Rob Rix	0b3c04fe1b	Zip leaf terms.	2015-11-18 17:35:03 -08:00
Rob Rix	e8274ed379	Zip terms.	2015-11-18 17:35:03 -08:00
Rob Rix	ee4da4218d	Add an Annotated syntax type.	2015-11-18 17:35:03 -08:00
Rob Rix	c595fda525	Ranges are bounded by integers.	2015-11-18 17:35:03 -08:00
Rob Rix	680465dfbf	Abstract Diff over an annotation type.	2015-11-18 13:23:47 -08:00
Rob Rix	359c1818d0	Use const.	2015-11-18 12:09:08 -08:00
Rob Rix	c7336dae2c	Remove Data.Fix.	2015-11-18 11:54:08 -08:00
Rob Rix	e74340d4cf	🔥 the RangedWhatever things.	2015-11-18 11:50:30 -08:00
Rob Rix	5129bc455b	Move the diff fixture thing to the executable.	2015-11-18 11:45:23 -08:00
Rob Rix	1e3ae866c2	Terms with Categorizable annotations are themselves Categorizable.	2015-11-18 11:39:08 -08:00
Rob Rix	a47ad36d98	Move the definition of Term into the Term module.	2015-11-18 11:28:16 -08:00
Rob Rix	e989216361	Add a Term module.	2015-11-18 11:27:09 -08:00
Rob Rix	fba97d256b	Test whether Categorizable values are comparable.	2015-11-18 11:25:53 -08:00
Rob Rix	f1eed7dac2	Categorizable things have categories.	2015-11-18 11:23:35 -08:00
Rob Rix	5fe7cecba9	Add a Categorizable module.	2015-11-18 11:23:28 -08:00
Rob Rix	092192cb14	Short-circuit for equal terms.	2015-11-18 11:21:30 -08:00
Rob Rix	09d10875c3	Info is Equatable.	2015-11-18 11:19:16 -08:00
Rob Rix	da5807180a	If not comparable, don’t compare.	2015-11-18 11:13:13 -08:00
Rob Rix	6f49840fc8	Comparable tests terms.	2015-11-18 11:13:00 -08:00
Rob Rix	fc4cab8120	Export Comparable.	2015-11-18 11:09:18 -08:00
Rob Rix	0ad19372fd	Parameterize interpret by a comparable function.	2015-11-18 11:09:11 -08:00
Rob Rix	6e64ada5ad	Equal leaves produce equal diffs.	2015-11-18 10:59:40 -08:00
Rob Rix	7dae86cba6	Recursive for everything else.	2015-11-18 10:53:59 -08:00
Rob Rix	57e30d7a57	ByKey for Keyed nodes.	2015-11-18 10:52:49 -08:00
Rob Rix	dfbb01fda1	ByIndex for Indexed nodes.	2015-11-18 10:52:09 -08:00
Rob Rix	eeaa77812c	Parameterize SES by the cost function.	2015-11-18 10:44:02 -08:00
Rob Rix	aabc5f62ee	Compose.	2015-11-18 10:39:49 -08:00
Rob Rix	c2deb95a36	Recur through SES via constructAndRun.	2015-11-18 10:39:20 -08:00
Rob Rix	9fd3be3408	Capture the copy cost as well.	2015-11-18 10:38:29 -08:00
Rob Rix	0799dfa51d	Capture insert/delete costs.	2015-11-18 10:37:42 -08:00
Rob Rix	40588b9942	Guards.	2015-11-18 10:36:47 -08:00
Rob Rix	7e75c662dc	Diagonals.	2015-11-18 10:36:19 -08:00
Rob Rix	ad0c9ca4b2	Alias the comparison function’s type.	2015-11-18 10:28:07 -08:00
Rob Rix	e7e2f280e1	Parameterize by recur.	2015-11-18 10:26:40 -08:00
Rob Rix	2b8e3c7dbf	Specialize to Term/Diff.	2015-11-18 07:44:08 -08:00
Rob Rix	08ce71953e	Implement cost.	2015-11-18 07:43:10 -08:00
Rob Rix	08f3d217c0	Implement SES in terms of cost and recur functions.	2015-11-18 07:40:54 -08:00
Rob Rix	6d6fbcf797	Go back to Diff SES.	2015-11-18 07:40:30 -08:00