46 Commits

Author	SHA1	Message	Date
Rob Rix	332f4c2ef2	Factor out the annotations.	2015-11-27 12:10:16 -05:00
Rob Rix	60961da561	We don’t use unwrap and we would otherwise shadow it.	2015-11-27 12:07:04 -05:00
Rob Rix	5aa8d4a3c0	Rename cost to diffCost.	2015-11-27 12:06:14 -05:00
Rob Rix	95750ea60d	Use the factored-out annotations.	2015-11-27 11:46:25 -05:00
Rob Rix	f4c73cb3f7	Extract the annotation of Free terms.	2015-11-27 11:46:12 -05:00
Rob Rix	45a865698b	Explicitly error if maybeInterpret’s assumptions are violated.	2015-11-27 10:04:53 -05:00
Rob Rix	edfc082a36	Single-line formatting.	2015-11-27 09:55:29 -05:00
Rob Rix	fe07b475e4	Use fromMaybe to unpack with a default value. ... I was looking for exactly this! Very nice.	2015-11-27 09:53:37 -05:00
Rob Rix	982fe363d8	Sort imports.	2015-11-27 09:51:59 -05: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	680465dfbf	Abstract Diff over an annotation type.	2015-11-18 13:23:47 -08:00
Rob Rix	a47ad36d98	Move the definition of Term into the Term module.	2015-11-18 11:28:16 -08:00
Rob Rix	092192cb14	Short-circuit for equal terms.	2015-11-18 11:21:30 -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	ae27e9cbbe	Move SES into its own file.	2015-11-18 07:11:05 -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	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	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
Rob Rix	a30328e682	Stub in recursive diffing to always replace.	2015-11-17 17:29:12 -08:00
Rob Rix	485e947da6	Rename to constructAndRun.	2015-11-17 17:17:45 -08:00
Rob Rix	cdcb575b57	Only export interpret.	2015-11-17 17:15:10 -08:00
Rob Rix	16e4bf891d	Interpretation.	2015-11-17 17:13:48 -08:00
Rob Rix	7c09fd1503	Stub in interpretation.	2015-11-17 17:05:16 -08:00
Rob Rix	b4450e038e	Stub in a file for Interpreter.	2015-11-17 16:25:39 -08:00