1500 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	59861a9a34	Terms construct a Syntax.	2015-10-23 18:19:11 -04:00
Rob Rix	7fb3aeb452	catamorphism over Term.	2015-10-23 17:19:24 -04:00
Rob Rix	d75322e37e	Remove Indexed.	2015-10-23 17:19:18 -04:00
Rob Rix	aef4e18518	Map over Syntax.	2015-10-23 17:19:07 -04:00
Rob Rix	c5c9e8838b	Map over dictionaries.	2015-10-23 17:19:00 -04:00
Rob Rix	ff21b7d299	Construct Syntax as a sum type.	2015-10-23 17:18:54 -04:00
Rob Rix	87cdba8e4b	Replaced Keyed with Dictionary.	2015-10-23 17:16:19 -04:00
Rob Rix	056e79f261	Rename the syntax field to unwrap.	2015-10-23 16:56:39 -04:00
Rob Rix	3206f13be0	Syntax is a type.	2015-10-23 16:54:49 -04:00
Rob Rix	235d70239a	Rename a/b to before/after.	2015-10-23 16:53:51 -04:00
Rob Rix	32ed77d9bc	Rename left/right to before/after.	2015-10-23 16:53:02 -04:00
Rob Rix	7d721acec5	Re-add the left/right column divs.	2015-10-23 14:00:25 -04:00
Rob Rix	7adfd32d9d	Patch is an object.	2015-10-23 13:48:44 -04:00
Rob Rix	0667e3b30e	Move the patch function up.	2015-10-23 13:47:33 -04:00
Rob Rix	968980e17b	Don’t be gross.	2015-10-23 13:32:54 -04:00
Rob Rix	b03bacbcf2	Pass the source strings to toDOM.	2015-10-23 13:32:19 -04:00
Rob Rix	93a8f75da9	Don’t thread the original strings through model construction.	2015-10-23 13:31:14 -04:00
Rob Rix	107c8969e8	Arbitrarily select the before string/range.	2015-10-23 12:22:21 -04:00
Rob Rix	2213606727	Merge branch 'master' into diff-ui-shows-original-sources-for-unchanged-ranges-as-well	2015-10-23 12:02:51 -04:00
Josh Vera	829e43a168	Merge pull request #143 from github/annotate-diffs ... Annotate diffs	2015-10-23 12:01:26 -04:00
Rob Rix	d5bf556cac	Test that recursively-copied diffs do not contain patches.	2015-10-23 11:49:03 -04:00
Rob Rix	11ed1a855d	Test that equal terms zip to non-nil.	2015-10-23 11:46:47 -04:00
Rob Rix	0c1905b6f5	Avoid a bang.	2015-10-23 11:44:17 -04:00
Rob Rix	f4a9053977	Use the convenience constructor.	2015-10-23 11:44:00 -04:00
Rob Rix	aca676dd04	Reintroduce the CofreeType → Free convenience constructor.	2015-10-23 11:43:05 -04:00
Rob Rix	383b20bb31	Document mapping a term into a diff.	2015-10-23 11:40:03 -04:00
Rob Rix	180cc41f6c	reiterate → hylo	2015-10-23 11:36:42 -04:00
Rob Rix	2b216398b7	iterate → cata	2015-10-23 11:36:05 -04:00
Rob Rix	9b310b8c78	coiterate → ana	2015-10-23 11:34:53 -04:00
Rob Rix	f1d60da274	Assign patch ranges to Diff.Pures.	2015-10-23 11:14:45 -04:00
Rob Rix	c3e740ab8e	Assign term ranges to patches.	2015-10-23 11:14:39 -04:00
Rob Rix	1153cd95e9	Assign a canonical source/range for diffs.	2015-10-23 11:11:05 -04:00
Rob Rix	7d09a9ab0f	Store the sources in a hash so we can get them out correctly.	2015-10-23 11:09:10 -04:00
Rob Rix	63267cdb1c	Attach the range and source to the syntax.	2015-10-23 11:04:21 -04:00
Rob Rix	8d344381e7	Keep the correct ranges.	2015-10-23 11:04:03 -04:00
Rob Rix	f598a15864	Merge branch 'master' into diff-ui-shows-original-sources-for-unchanged-ranges-as-well	2015-10-23 11:02:47 -04:00
Rob Rix	7b8d3747de	Keep the sources.	2015-10-23 11:02:37 -04:00
Rob Rix	00970c03ee	Keep the ranges.	2015-10-23 11:02:32 -04:00
joshvera	f5ae79ebaa	Merge branch 'master' into annotate-diffs	2015-10-23 11:01:50 -04:00
Rob Rix	56f2f6f0c0	Unwrap the syntax.	2015-10-23 11:01:21 -04:00
Rob Rix	353ff8d4b2	Formatting.	2015-10-23 11:01:14 -04:00
Josh Vera	00242d48e4	Merge pull request #142 from github/unfold-diffs ... Construct Free by unfolding	2015-10-23 10:59:29 -04:00
Rob Rix	fdf074cd30	Merge branch 'annotate-diffs' into diff-ui-shows-original-sources-for-unchanged-ranges-as-well ... Conflicts: prototype/Doubt/Free.swift	2015-10-23 10:50:28 -04:00
Rob Rix	c187b796f3	Merge branch 'master' into annotate-diffs ... Conflicts: prototype/Doubt/Free.swift	2015-10-23 10:48:17 -04:00
Josh Vera	2ef5d92426	Merge pull request #137 from github/diff-ui-shows-original-sources ... Diff UI shows original sources	2015-10-23 10:43:23 -04:00
Rob Rix	5d16ba965a	Merge branch 'annotate-diffs' into diff-ui-shows-original-sources-for-unchanged-ranges-as-well ... Conflicts: prototype/Doubt/Free.swift	2015-10-23 10:28:43 -04:00
Rob Rix	a313d9c87e	Merge branch 'unfold-diffs' into diff-ui-shows-original-sources-for-unchanged-ranges-as-well	2015-10-23 09:09:46 -04:00
Rob Rix	d009baab1a	Merge branch 'diff-ui-shows-original-sources' into diff-ui-shows-original-sources-for-unchanged-ranges-as-well	2015-10-23 09:09:25 -04:00
Rob Rix	2a50752f24	Don’t decode back into an unused string, that’s dumb.	2015-10-22 19:04:38 -04:00
Rob Rix	6c99f37e7a	Encode ranges in Diff.Roll.	2015-10-22 19:04:21 -04:00