1095 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	bee0876bae	Correct the test of categorization.	2015-10-15 18:29:23 -04:00
Rob Rix	d833e65b50	Correct the test of restrictions.	2015-10-15 18:29:17 -04:00
Rob Rix	8595464342	Migrate the tests to Interpreter.	2015-10-15 18:25:35 -04:00
Rob Rix	690e8ef175	Rename AlgorithmTests → InterpreterTests.	2015-10-15 18:18:38 -04:00
Rob Rix	5584c2f653	Use the sum combinator to compute a cost function.	2015-10-15 18:16:02 -04:00
Rob Rix	792a6b6654	Add a convenience for summing Frees.	2015-10-15 18:13:22 -04:00
Rob Rix	7871169f8d	Compute JSON diffs with Interpreter.	2015-10-15 15:50:46 -04:00
Rob Rix	5c85adaab0	Merge branch 'master' into interpreter ... Conflicts: prototype/Doubt/Algorithm.swift	2015-10-15 15:45:01 -04:00
Rob Rix	1690c71cb2	Convenience constructor for Interpreters with Categorizable annotations.	2015-10-15 15:43:18 -04:00
Rob Rix	1e53b446ab	Cofree conforms to CofreeType.	2015-10-15 15:42:39 -04:00
Rob Rix	522757c121	Replace CofreeConvertible with CofreeType.	2015-10-15 15:42:24 -04:00
Rob Rix	f8cd049280	Add a function from categorization functions to comparable functions.	2015-10-15 15:39:55 -04:00
Josh Vera	e6ec91cd64	Merge pull request #120 from github/patch-constructors-on-diff ... Patch constructors on diff	2015-10-15 15:39:14 -04:00
Josh Vera	ee712ca4a3	Merge pull request #104 from github/restrict-comparisons-by-category ... Restrict comparisons by category	2015-10-15 15:38:16 -04:00
Rob Rix	2d21447312	Replaces the convenience constructor with a diff cost constructor.	2015-10-15 15:34:59 -04:00
Rob Rix	8d93a77b86	Add a CofreeConvertible protocol.	2015-10-15 15:31:51 -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	1b86134377	Difference over Patch<Term: TermType>.	2015-10-15 15:25:04 -04:00
Rob Rix	e8a67fbdb0	Sum over Patch<Term: TermType>.	2015-10-15 15:24:58 -04:00
Rob Rix	e5fe5f448a	Parameterized difference over Patch.	2015-10-15 15:23:51 -04:00
Rob Rix	45d2697c46	Parameterized sum over Patch.	2015-10-15 15:23:36 -04:00
Rob Rix	856abbe611	I don’t know.	2015-10-15 15:08:06 -04:00
Rob Rix	e5f6d1acfa	Add a top-down, left-to-right reduce method to Free.	2015-10-15 15:07:13 -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	58b8fc2fe6	Merge branch 'master' into interpreter	2015-10-15 14:15:33 -04:00
Rob Rix	b453319db4	Merge branch 'master' into restrict-comparisons-by-category	2015-10-15 14:14:34 -04:00
Rob Rix	3a4f331b2e	Document the categorize parameter.	2015-10-15 14:14:29 -04:00
Rob Rix	a34b5a34f4	Document the equals parameter.	2015-10-15 14:12:39 -04:00
Josh Vera	789f879f94	Merge pull request #110 from github/patch-costs-are-proportional-to-the-size-of-their-trees ... Patch costs are proportional to the size of their trees	2015-10-15 14:08:23 -04:00
Rob Rix	e2e55ef041	Document the purpose of size.	2015-10-15 13:45:30 -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