7732 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	145252c8ba	Generalize UnmappedTerm, allowing a decidable Eq instance.	2016-07-15 15:12:27 -04:00
Rob Rix	882c4fe2ff	Generalize rws over arbitrary functors.	2016-07-15 15:05:46 -04:00
Rob Rix	bdb93ef44b	pqGrams doesn’t require Syntax.	2016-07-15 14:55:26 -04:00
Rob Rix	2d4778160f	We no longer rely on Hashable leaves.	2016-07-15 14:54:34 -04:00
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
joshvera	22eccb20e7	unpin text-icu	2016-07-15 14:11:16 -04:00
joshvera	ea814432a6	Add a property test to check number of LeafInfos in diff summaries match leaves in diff patches	2016-07-15 14:10:31 -04:00
joshvera	e57f30f20b	DiffInfo are now either LeafInfos or BranchInfos	2016-07-15 13:18:45 -04:00
Rob Rix	7b27fc2f73	Merge branch 'master' into 🔥-the-size-field	2016-07-15 11:34:13 -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	85659ec988	Fix up the asymmetrical context fixture.	2016-07-15 11:31:43 -04:00
Rob Rix	529334a552	Fix up the dictionary fixture.	2016-07-15 11:30:49 -04:00
Rob Rix	292a8f0a07	Fix up the multiline insert fixture.	2016-07-15 11:29:15 -04:00
Rob Rix	fcc4df2232	Fix up the insert fixture.	2016-07-15 11:27:48 -04:00
Rob Rix	2d1dea1270	Fix up the nested insert fixture.	2016-07-15 11:26:18 -04:00
Rob Rix	49291bf1ab	Fix up the newline-at-eof fixture.	2016-07-15 11:26:11 -04:00
Rob Rix	5af6188b17	Fix up the no-newline-at-eof fixture.	2016-07-15 11:23:18 -04:00
Rob Rix	ce4ad3d9bc	Fix up the reformat fixture.	2016-07-15 11:20:55 -04:00
Rob Rix	b96f60be92	🔥 Size.	2016-07-15 11:18:26 -04:00
Rob Rix	8754120403	🔥 the size/setSize accessors.	2016-07-15 11:18:21 -04:00
Rob Rix	5bc2cd93f1	Only annotate terms & diffs with costs, not sizes.	2016-07-15 11:17:53 -04:00
Rob Rix	e08fbd141f	📝 Cell.	2016-07-15 11:16:30 -04:00
Rob Rix	9a75c03c1e	🔥 unused field accessors.	2016-07-15 11:15:42 -04:00
Rob Rix	aa5c870e52	🔥 maybeFirst.	2016-07-15 11:15:04 -04:00
Rob Rix	6f0a55a487	Only export split.	2016-07-15 11:14:43 -04:00
Rob Rix	6859cba690	Don’t annotate with term costs.	2016-07-15 11:13:59 -04:00
Rob Rix	274c831e72	Don’t annotate zero-cost nodes.	2016-07-15 11:11:04 -04:00
Rob Rix	81279c910e	Split out the attributes into separate functions.	2016-07-15 11:05:39 -04:00
Rob Rix	1cb3656502	Uniform split rendering of branches.	2016-07-15 10:53:43 -04:00
Rob Rix	08246f3a4c	Simplify the catamorphism over terms/split diffs.	2016-07-15 10:52:28 -04:00
Rob Rix	7e3b470631	Repackage Renderable up with source & other.	2016-07-15 10:51:18 -04:00
Rob Rix	29812c4095	Use a strict Line type in split rendering.	2016-07-15 10:46:51 -04:00
Rob Rix	e5ad1d1c42	Use a strict Cell type in split rendering.	2016-07-15 09:59:23 -04:00
Rob Rix	7e4c68d182	Group all the ToMarkup instances together.	2016-07-15 09:55:29 -04:00
Rob Rix	b2fdfdba66	Placate hlint.	2016-07-15 09:55:00 -04:00
Rob Rix	aad375951f	Render the Cost instead of the Size in Split diffs.	2016-07-15 09:52:25 -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
joshvera	13671e5d14	Add patchAnnotations to DiffInfo to track discarded branch nodes	2016-07-14 19:35:23 -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