527 Commits

Author	SHA1	Message	Date
Rob Rix	df011fef9e	Generalize distribute to arbitrary functors.	2016-04-25 11:38:35 -04:00
Rob Rix	36381cb432	Simplify the implementation of distribute.	2016-04-25 11:38:10 -04:00
Rob Rix	390302ae9d	Document distribute.	2016-04-25 11:33:13 -04:00
Rob Rix	76f0b6fb0c	Rename invertEmbedding to distribute.	2016-04-25 11:26:20 -04:00
Rob Rix	ccb7568d3e	Align within a copointed functor to handle Keyed nodes.	2016-04-25 11:25:32 -04:00
Rob Rix	6b07bdf795	Add a function to invert the embedding of a copointed functor around Join These.	2016-04-25 11:19:51 -04:00
Rob Rix	d2dae5824d	Expect children to be in a copointed context.	2016-04-22 12:18:40 -04:00
Rob Rix	f48a47ce8f	Simplify prepending the tail.	2016-04-22 11:59:00 -04:00
Rob Rix	3fb4ad04fc	uncons the first/next lines in the spanning pass.	2016-04-22 11:57:38 -04:00
Rob Rix	76f46ebb02	No need to re-cons the lines of nonintersecting children.	2016-04-22 11:48:08 -04:00
Rob Rix	3a130c9a66	Derive a Functor instance for Union.	2016-04-22 10:39:15 -04:00
Rob Rix	87f99998c9	split via a pattern guard.	2016-04-22 10:39:03 -04:00
Rob Rix	9b6f3f181c	Revert "Align within an Alternative context." ... This reverts commit d656d819158b3a31c874a8393757fde6f5deca6e.	2016-04-15 13:00:42 -04:00
Rob Rix	8949bc8a27	Align within an Alternative context.	2016-04-15 12:46:28 -04:00
Rob Rix	ffecacadab	Rename catThese to unionThese.	2016-04-15 12:45:33 -04:00
Rob Rix	c54924f3ea	Define catThese over Alternative Foldable functors.	2016-04-15 12:44:04 -04:00
Rob Rix	2974e5f42d	Correct catThese.	2016-04-15 12:38:17 -04:00
Rob Rix	23f487ae35	Union wraps Join These.	2016-04-15 12:15:47 -04:00
Rob Rix	7c8354f862	Revert "Hide Alt." ... This reverts commit a43afb89898b918c06834e92ade43113e74fd35f.	2016-04-15 11:57:26 -04:00
Rob Rix	7fa9fa1238	Hide Alt.	2016-04-15 11:28:43 -04:00
Rob Rix	e52f5c9b4c	Simplfiy catThese slightly.	2016-04-15 11:06:11 -04:00
Rob Rix	d82931a5f5	Don’t map Keyed children into lists.	2016-04-15 10:01:50 -04:00
Rob Rix	e316da1b88	Abstract the Alignment machinery over a Foldable instance.	2016-04-15 10:00:42 -04:00
Rob Rix	5ec7f6cc77	This case no longer arises.	2016-04-15 10:00:21 -04:00
Rob Rix	169dbea2a5	Use the local this/that bindings.	2016-04-15 09:37:01 -04:00
Rob Rix	ff54948c7b	📝 intersects.	2016-04-15 09:35:41 -04:00
Rob Rix	012425b11a	Move intersectsRange to Range.	2016-04-15 09:34:34 -04:00
Rob Rix	e0f6c2ae2d	splitThese returns its results in Maybe. ... The uses of fromJust are as bad as the use of head, unfortunately.	2016-04-15 09:33:30 -04:00
Rob Rix	88d6fc08d4	Rename split → splitThese.	2016-04-15 09:31:43 -04:00
Rob Rix	940ad0ac82	📝 split.	2016-04-15 09:31:28 -04:00
Rob Rix	c585ca95d6	📝 modifyJoin.	2016-04-15 09:30:20 -04:00
Rob Rix	5e5e9fe7c8	🔥 the separate apThese function.	2016-04-15 09:29:23 -04:00
Rob Rix	8b3833b7ff	📝 Union.	2016-04-15 09:27:41 -04:00
Rob Rix	7ceaea76c8	Group the instances at the bottom.	2016-04-15 09:26:16 -04:00
Rob Rix	056b9647e8	🔥 Row.	2016-04-15 09:25:27 -04:00
Rob Rix	d7ed0bc74d	Move the Union newtype up.	2016-04-15 09:23:41 -04:00
Rob Rix	ac26367e2d	Rephrase the advance function in terms of catThese.	2016-04-14 22:23:26 -04:00
Rob Rix	a61d847705	Replace Data.Bifunctor.These and Data.Align with the these package.	2016-04-14 22:00:00 -04:00
Rob Rix	84abff8773	Move the extras atop These into Alignment.	2016-04-14 21:47:18 -04:00
Rob Rix	6662deac2b	🔥 the old split… code paths.	2016-04-14 21:16:10 -04:00
Rob Rix	3235cfee3a	Define renderers in terms of alignDiff.	2016-04-14 21:16:02 -04:00
Rob Rix	7c63e92ea7	Construct SplitPatches.	2016-04-14 20:27:24 -04:00
Rob Rix	3e1072f714	Use record syntax to update info.	2016-04-14 19:40:49 -04:00
Rob Rix	0142a54dcf	Move the getRange function to SplitDiff.	2016-04-14 18:36:09 -04:00
Rob Rix	c955c94729	Move alignDiff up.	2016-04-14 17:03:53 -04:00
Rob Rix	ad4d1ab9e4	Pair with the ranges appropriate for the intersecting elements. ... This is gross.	2016-04-14 16:34:49 -04:00
Rob Rix	8052414634	Parens I guess.	2016-04-14 13:31:07 -04:00
Rob Rix	919fab9053	Reformat alignChildrenInRanges for less indentation.	2016-04-14 13:19:18 -04:00
Rob Rix	23cca50048	Rename group2 to alignChildrenInRanges.	2016-04-14 13:18:19 -04:00
Rob Rix	ce33d56086	🔥 a redundant blank line.	2016-04-14 13:15:27 -04:00