7247 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	190dcfe18c	pqGrams doesn’t include leaf values in labels itself.	2016-07-15 14:49:39 -04:00
Rob Rix	d6bf0920bd	Add leaf values to the labels computed in Interpreter.	2016-07-15 14:49:21 -04:00
Rob Rix	4b33b24a05	Labels are computed from the entire term.	2016-07-15 14:45:37 -04:00
Rob Rix	9ca138df07	Assign siblings and merge in a single step.	2016-07-15 14:35:14 -04:00
Josh Vera	6fa57a5e58	Merge pull request #637 from github/generalize-all-the-things! ... Generalize all the things!	2016-07-15 11:32:13 -04:00
Rob Rix	747ae7cbfb	🔥 the InfoFields and Info type synonyms.	2016-07-15 09:41:22 -04:00
Rob Rix	97e8dfadb1	DiffSummarySpec doesn’t depend on Info.	2016-07-15 09:41:12 -04:00
Rob Rix	82ce5fffad	AlignmentSpec doesn’t depend on Info at all.	2016-07-15 09:39:03 -04:00
Rob Rix	0a4c91c784	Remove some redundant imports.	2016-07-14 16:38:44 -04:00
Rob Rix	300bd2b84c	Renderer takes an annotation type parameter.	2016-07-14 16:36:47 -04:00
Rob Rix	1e88543504	Generalize breakDownLeavesByWord over extensible record annotations.	2016-07-14 16:35:49 -04:00
Rob Rix	d1ed015446	Parser takes a list of field types.	2016-07-14 16:35:20 -04:00
Rob Rix	c59bb6ebfe	🔥 the Constructor type synonym.	2016-07-14 16:34:02 -04:00
Rob Rix	7c2a0d5cbb	Generalize termConstructor over extensible record annotations.	2016-07-14 16:33:53 -04:00
Rob Rix	74df628f17	Weaken Interpreter’s constraint on annotations to Eq.	2016-07-14 16:18:06 -04:00
Rob Rix	1a2004fc78	Generalize split rendering over extensible record annotations.	2016-07-14 16:11:06 -04:00
Rob Rix	548b7936a7	Generalize patch rendering over extensible record annotations.	2016-07-14 16:10:51 -04:00
Rob Rix	efe868b01a	Generalize the ToJSON instances over extensible record annotations.	2016-07-14 16:10:29 -04:00
Rob Rix	cd19193471	Avoid requiring Show instances everywhere.	2016-07-14 15:59:23 -04:00
Rob Rix	4d6ab97691	Placate hlint.	2016-07-14 15:53:52 -04:00
Rob Rix	edaf78c7ce	🔥 the import of the Info symbol.	2016-07-14 15:51:30 -04:00
Rob Rix	3166b53f52	Generalize diffSummary to extensible record annotations.	2016-07-14 15:51:09 -04:00
Rob Rix	0bbe856d3d	Generalize diffSummary' to extensible record annotations.	2016-07-14 15:50:38 -04:00
Rob Rix	ea6ff00a7a	Generalize the HasCategory instance over terms to extensible record annotations.	2016-07-14 15:49:58 -04:00
Rob Rix	8828adf0bd	Generalize maybeTermName over HasField.	2016-07-14 15:49:10 -04:00
Rob Rix	323c426e24	Rename the diff cost function & generalize over records.	2016-07-14 14:14:21 -04:00
Rob Rix	2d910a6668	Placate hlint a little further.	2016-07-14 14:12:15 -04:00
Rob Rix	2826a7948a	🔥 a redundant definition.	2016-07-14 14:07:33 -04:00
Rob Rix	b9b0bda2bd	🔥 a redundant import.	2016-07-14 14:07:22 -04:00
Rob Rix	2a85ef7668	Placate hlint.	2016-07-14 14:07:15 -04:00
Josh Vera	ad0af796e1	Merge pull request #634 from github/equate-terms-with-respect-to-their-categories ... Equate terms with respect to their categories.	2016-07-14 12:28:00 -04:00
Rob Rix	02e836d364	Equate terms with respect to their categories.	2016-07-14 11:27:54 -04:00
Josh Vera	8f84d93a8e	Merge pull request #631 from github/equal-term-costs ... Apply 🔥 vigourously	2016-07-14 10:28:19 -04:00
Rob Rix	56fbaaf8e5	Merge branch 'master' into equal-term-costs	2016-07-14 09:52:45 -04:00
Josh Vera	22a3be2418	Merge pull request #633 from github/arbitrary-arbitrary-records ... Arbitrary Arbitrary records	2016-07-13 15:47:37 -04:00
Rob Rix	50c9d37cb1	Placate hlint.	2016-07-13 15:33:53 -04:00
Rob Rix	45b0571221	Add an Arbitrary instance over Range.	2016-07-13 15:33:44 -04:00
Rob Rix	a6eace739c	Section header for instances.	2016-07-13 15:31:09 -04:00
Rob Rix	b45329e94b	Add Arbitrary instances over Size and Cost.	2016-07-13 15:30:37 -04:00
Rob Rix	8b9e92440f	Add an instance over empty records.	2016-07-13 15:28:58 -04:00
Rob Rix	636fbd102b	Generalize the Arbitrary instance over Records of multiple fields.	2016-07-13 15:24:35 -04:00
Rob Rix	742f2fcc24	🔥 the set of keyed categories.	2016-07-13 15:02:26 -04:00
Rob Rix	c41d3f4280	Correct the fixtures to account for the removal of dictionaries.	2016-07-12 23:34:53 -04:00
Rob Rix	4f967e0e1a	🔥 Data.OrderedMap.	2016-07-12 23:27:20 -04:00
Rob Rix	bc05e694a3	🔥 Keyed syntax nodes.	2016-07-12 23:27:09 -04:00
Rob Rix	c3f060d65b	🔥 ByKey operations.	2016-07-12 23:26:14 -04:00
Rob Rix	7370e927b8	Pattern guards.	2016-07-12 18:39:43 -04:00
Rob Rix	c7728b7c1c	Test the reflexivity of alignment modulo These.	2016-07-12 18:24:24 -04:00
Rob Rix	a1bfe55742	Handle ByKey using OrderedMap’s Align instance.	2016-07-12 18:20:31 -04:00
Rob Rix	7af6915a75	Align OrderedMap using the same logic as ByKey.	2016-07-12 18:20:19 -04:00