2463 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	0cd3b8c16c	Stub in the implementation of unified over Diff.	2015-11-19 14:37:07 -08:00
Rob Rix	a5729774d0	Stub in the type of unified.	2015-11-19 14:36:32 -08:00
Rob Rix	0c6ba1f3a6	Info uses the Category type.	2015-11-19 14:36:07 -08:00
Rob Rix	1394b60d2c	Add a Category type name.	2015-11-19 14:35:46 -08:00
Rob Rix	0fdb2469f9	Stub in a Unified diff renderer file.	2015-11-19 13:35:06 -08:00
Rob Rix	486f3a4732	Factor out a pattern match.	2015-11-19 12:20:57 -08:00
Rob Rix	0cced151ea	Remove some obsolete imports.	2015-11-19 12:13:45 -08:00
Rob Rix	4298956f37	Info is Categorizable.	2015-11-19 12:06:34 -08:00
Rob Rix	7138d9fb1b	Info has a Range and a set of categories.	2015-11-19 12:04:18 -08:00
Rob Rix	891d2b75a1	Use unit in the fixtures.	2015-11-19 12:04:07 -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	e01c6325a3	We don’t need data-fix.	2015-11-18 11:47:42 -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	019f197dde	Use FlexibleInstances.	2015-11-18 11:38:56 -08:00
Rob Rix	249989b18a	Default extensions.	2015-11-18 11:36:11 -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