1830 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	bfb9095d21	Don’t output Diff.Roll annotations.	2015-10-22 18:57:07 -04:00
Rob Rix	5f5a4739bf	Use the Introduce shorthand.	2015-10-22 18:56:03 -04:00
Rob Rix	b194dede9a	Add annotations to Free 😭 ... This is heartbreaking, but it was always going to end this way.	2015-10-22 18:55:28 -04:00
Rob Rix	3682aca8a0	Rename the convenience to avoid the method of the same name.	2015-10-22 18:54:10 -04:00
Rob Rix	6cca28582d	Add a convenience to copy terms into diffs.	2015-10-22 18:51:14 -04:00
Rob Rix	1ee9663e6e	Unwrap with the static eliminator.	2015-10-22 18:43:49 -04:00
Rob Rix	3a1ced9786	Add an elimination form for Cofree.	2015-10-22 18:43:17 -04:00
Rob Rix	6423d5817f	Rename the introduction form for Cofree.	2015-10-22 18:43:08 -04:00
Rob Rix	f8739e90b0	zip the terms.	2015-10-22 18:42:04 -04:00
Rob Rix	b210cf8586	Rephrase copying terms into diffs as a hylomorphism.	2015-10-22 18:32:41 -04:00
Rob Rix	95adbdf042	Documentation for reiterate.	2015-10-22 18:31:11 -04:00
Rob Rix	397af0d02d	Documentation for hylo.	2015-10-22 18:31:06 -04:00
Rob Rix	b425d69c36	Define hylo and reiterate through Syntax.	2015-10-22 18:18:05 -04:00
Rob Rix	c84578402c	Document CofreeType.zip.	2015-10-22 18:09:18 -04:00
Rob Rix	7b57a9ce17	CofreeType values can be zipped.	2015-10-22 18:06:35 -04:00
Rob Rix	6bc8fe4285	Define coiterate over CofreeType.	2015-10-22 18:04:51 -04:00
Rob Rix	9ff1840e4a	CofreeTypes have a static curried Wrap constructor function.	2015-10-22 18:04:19 -04:00
Rob Rix	c6962c798d	CofreeType requires a constructor.	2015-10-22 18:02:44 -04:00
Rob Rix	4195edc469	Define a reiterate function.	2015-10-22 17:25:58 -04:00
Rob Rix	d0aeedeb52	Define iterate so as to clarify its relationship with cata.	2015-10-22 17:15:49 -04:00