2278 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	cb6eeff9e3	Only export ses.	2015-11-18 07:27:54 -08:00
Rob Rix	676ef16162	Implement the empty cases by pattern matching.	2015-11-18 07:27:19 -08:00
Rob Rix	13499cc520	Implement the equal head case of SES.	2015-11-18 07:26:24 -08:00
Rob Rix	9bafea4749	SES returns both terms.	2015-11-18 07:25:42 -08:00
Rob Rix	8b3c1aacfd	SES returns Either.	2015-11-18 07:25:26 -08:00
Rob Rix	e742cf6859	Annotate the type of SES. ... I’m not at all sure this is correct.	2015-11-18 07:13:55 -08:00
Rob Rix	ae27e9cbbe	Move SES into its own file.	2015-11-18 07:11:05 -08:00
Rob Rix	b122712470	Add a file for SES.	2015-11-18 07:09:49 -08:00
Rob Rix	bb43da027a	SES over empty/non-empty lists.	2015-11-18 07:02:47 -08:00
Rob Rix	a7545ed749	Interpret ByKey algorithms.	2015-11-18 00:21:27 -08:00
Rob Rix	213d8fbd55	Maps all the way down.	2015-11-17 18:58:51 -08:00
Rob Rix	e01e4bb923	ByKey’s continuation takes a map.	2015-11-17 18:56:28 -08:00
Rob Rix	242ca9464b	Patch is a Functor.	2015-11-17 18:51:36 -08:00
Rob Rix	da3bf047b1	Patch is algebraic.	2015-11-17 18:44:55 -08:00
Rob Rix	d881006e55	Spacing.	2015-11-17 18:26:07 -08:00
Rob Rix	e700c407f2	Move Patch into its file.	2015-11-17 18:23:53 -08:00
Rob Rix	c467437233	Add a file for Patch.	2015-11-17 18:21:51 -08:00
Rob Rix	ef1e64376c	Break repacking out.	2015-11-17 18:16:39 -08:00
Rob Rix	a4f83780bd	Factor some of the operands out.	2015-11-17 17:59:01 -08:00
Rob Rix	9504ebe586	Recursive interpretation of Keyed terms.	2015-11-17 17:50:15 -08:00
Rob Rix	0d8edc8272	Recur through Fixed terms.	2015-11-17 17:35:00 -08:00
Rob Rix	e26dbb1fbe	Recur through indexed terms of equal length.	2015-11-17 17:34:04 -08:00
Rob Rix	e620eb76ff	Stub in recurring through indexed terms.	2015-11-17 17:29:18 -08:00