35 Commits

Author	SHA1	Message	Date
Rob Rix	f8cd049280	Add a function from categorization functions to comparable functions.	2015-10-15 15:39:55 -04:00
Rob Rix	2d21447312	Replaces the convenience constructor with a diff cost constructor.	2015-10-15 15:34:59 -04:00
Rob Rix	24c66eb1ff	Convenience constructor taking a Patch cost function.	2015-10-15 15:28:21 -04:00
Rob Rix	53c78fd546	It’s a type.	2015-10-15 15:28:12 -04:00
Rob Rix	662fbe7dbc	Don’t require equal when the leaf type is Equatable.	2015-10-15 14:34:47 -04:00
Rob Rix	62c13aed65	Document run.	2015-10-15 14:30:14 -04:00
Rob Rix	5aa7b7c26a	Document Interpreter’s constructor.	2015-10-15 14:28:28 -04:00
Rob Rix	98398f6fd0	Move the run method to the top.	2015-10-15 14:16:01 -04:00
Rob Rix	5e947ae30a	Rename equals to equal.	2015-10-15 12:20:22 -04:00
Rob Rix	5c163d291b	Document the Diff typealias.	2015-10-15 12:16:58 -04:00
Rob Rix	c46d48b582	Public constructor.	2015-10-15 12:16:39 -04:00
Rob Rix	02e5ed7539	Bail if a and b are not comparable.	2015-10-15 12:15:50 -04:00
Rob Rix	482aa3b907	Document recur.	2015-10-15 12:15:30 -04:00
Rob Rix	6263645728	Add a comparable parameter.	2015-10-15 12:15:27 -04:00
Rob Rix	53ea4fcf36	Interpretation of .ByIndex algorithms.	2015-10-15 11:51:01 -04:00
Rob Rix	932bc44778	Add a private cost parameter to Interpreter.	2015-10-15 11:50:43 -04:00
Rob Rix	5a6b96e38b	Interpret .ByKey algorithms.	2015-10-15 11:50:04 -04:00
Rob Rix	ca3023dce3	Document the interpretation of .Recursive nodes.	2015-10-15 11:48:49 -04:00
Rob Rix	7771edccf5	.Recursive replaces.	2015-10-15 11:47:27 -04:00
Rob Rix	2dbfd51f15	Recur through pairs of .Keyed nodes with equal keys.	2015-10-15 11:45:40 -04:00
Rob Rix	52c1b581c6	Recur through pairs of equal-length indexed terms.	2015-10-15 11:33:13 -04:00
Rob Rix	8680bb4165	Infer a type.	2015-10-15 11:29:56 -04:00
Rob Rix	ac84875a4b	Return pure diffs.	2015-10-15 11:29:49 -04:00
Rob Rix	0960bdacf4	Extract a method recurring over algorithms.	2015-10-15 11:29:04 -04:00
Rob Rix	7a31fe7e75	The equality parameter is private.	2015-10-15 11:27:44 -04:00
Rob Rix	3c08972026	Extract a private recurrence method.	2015-10-15 11:26:35 -04:00
Rob Rix	787681eafc	Construct an algorithm.	2015-10-15 11:07:35 -04:00
Rob Rix	98d333d721	Test equality, otherwise replace.	2015-10-15 11:04:37 -04:00
Rob Rix	6f71a42509	Running takes a pair of Terms.	2015-10-15 11:03:15 -04:00
Rob Rix	0cedf87540	Interpreter has a Diff typealias.	2015-10-15 11:01:35 -04:00
Rob Rix	a9f5075d3e	Interpreter has an equality function.	2015-10-15 11:00:49 -04:00
Rob Rix	22cb1e00d5	Abstract Interpreter over a TermType.	2015-10-15 11:00:27 -04:00
Rob Rix	1a4151b2a9	Stub in running.	2015-10-15 10:58:57 -04:00
Rob Rix	30e9ac9106	Stub in docs for Interpreter.	2015-10-15 10:45:32 -04:00
Rob Rix	6a955d5e88	Stub in Interpreter.	2015-10-15 10:45:11 -04:00