372 Commits

Author	SHA1	Message	Date
Rob Rix	e334308205	Eliminate repetition when binding this/that.	2016-03-28 18:09:59 -04:00
Rob Rix	178dc833b2	Rename left/right to this/that for clarity.	2016-03-28 18:08:54 -04:00
Rob Rix	17abfbb813	Generalize split for clarity that it cannot depend on diff details.	2016-03-28 18:08:46 -04:00
Rob Rix	133c69ec92	Span over the mergeable children.	2016-03-28 17:57:38 -04:00
Rob Rix	b4c75c7f55	Add a function to partition & divide children intersecting with a pair of lines.	2016-03-28 17:55:01 -04:00
Rob Rix	6f170a134d	Add a function to split These into This and That.	2016-03-28 17:54:44 -04:00
Rob Rix	4fa1e1c2d3	Pull the or test out of intersects.	2016-03-28 17:53:39 -04:00
Rob Rix	82c2d29d5e	Don’t join the child lines.	2016-03-28 16:40:21 -04:00
Rob Rix	71fd74527d	Write intersects in non-tacit style.	2016-03-28 16:19:08 -04:00
Rob Rix	ed97e2fa36	Extract the intersection predicate into the where clause.	2016-03-28 16:10:38 -04:00
Rob Rix	07e3d89e2f	Match if there are no intersecting lines.	2016-03-28 16:08:33 -04:00
Rob Rix	665afe2a29	Find intersecting child lines on either side.	2016-03-28 16:03:56 -04:00
Rob Rix	3c27e69000	🔥 the bogus context gathering guards.	2016-03-28 16:03:43 -04:00
Rob Rix	deff4e0c28	🔥 the asymmetric children-gathering.	2016-03-28 16:03:29 -04:00
Rob Rix	e81be3d4ba	We meant to test whether these were _not_ empty.	2016-03-28 12:50:38 -04:00
Rob Rix	56c002fdf4	Inline the definition of intersecting.	2016-03-28 12:48:25 -04:00
Rob Rix	aa69c00245	concatMap.	2016-03-28 04:39:32 -04:00
Rob Rix	36ea4abdc8	🔥 some $s.	2016-03-28 04:39:26 -04:00
Rob Rix	f949aae3df	Avoid some $s.	2016-03-28 04:39:15 -04:00
Rob Rix	4649aa290a	Use null to test for emptiness.	2016-03-28 04:39:08 -04:00
Rob Rix	26199e2b22	Allow coincident endings in asymmetric alignments too.	2016-03-25 12:07:06 -04:00
Rob Rix	122ff8c182	Child ranges can end coincident with the line ranges and still intersect.	2016-03-25 11:52:30 -04:00
Rob Rix	acc7cd3ce8	Align trailing context asymmetrically.	2016-03-25 00:26:33 -04:00
Rob Rix	b04c844d17	Don’t short-circuit when there are still children to align.	2016-03-25 00:22:43 -04:00
Rob Rix	fd61294642	Advance asymmetrically.	2016-03-25 00:19:41 -04:00
Rob Rix	14a109b02e	Require child lines to be matched.	2016-03-25 00:19:31 -04:00
Rob Rix	c5cb7da9b0	🔥 the intersects function.	2016-03-24 20:24:15 -04:00
Rob Rix	6e2de43c20	Bind lines/rest with pattern guards.	2016-03-24 15:30:04 -04:00
Rob Rix	5d34fb495d	Take all intersecting child lines in a single pass.	2016-03-24 15:28:13 -04:00
Rob Rix	a03c9a90e8	Compute the child lines intersecting with the current lines.	2016-03-24 14:46:22 -04:00
Rob Rix	9e3db2853c	Join the child lines.	2016-03-24 14:39:23 -04:00
Rob Rix	da3e338d84	Revert "Add runJoinWith to extract-and-apply Join." ... This reverts commit c4027f8162ae6df17c2c91836dd518c6ab229e30.	2016-03-24 14:26:28 -04:00
Rob Rix	05bdd19053	Revert "Define modifyJoin in terms of runJoinWith." ... This reverts commit 17fadce8973b46f1bf66d85c2acb8c0eecf5a334.	2016-03-24 14:26:25 -04:00
Rob Rix	3057ce5190	Just use runJoin when computing intersections.	2016-03-24 14:26:15 -04:00
Rob Rix	9047282ff8	Define modifyJoin in terms of runJoinWith.	2016-03-24 14:24:11 -04:00
Rob Rix	606b5b48c8	Add runJoinWith to extract-and-apply Join.	2016-03-24 14:24:02 -04:00
Rob Rix	f2bd582dfb	Use bimap to simplify the intersection test.	2016-03-24 14:22:21 -04:00
Rob Rix	cdaae6866f	Use bimapJoin to simplify the both-intersecting case.	2016-03-24 14:22:13 -04:00
Rob Rix	0429e14f36	Add bimapJoin to simplify modifying Join by a bimap.	2016-03-24 14:20:28 -04:00
Rob Rix	b2fce1abbd	Express the if statement as a case expression.	2016-03-24 14:19:43 -04:00
Rob Rix	b7b823eb0c	modifyJoin is parametric in the type of the bifunctor.	2016-03-24 14:18:53 -04:00
Rob Rix	cde7753e5b	Less duplicative Indexed mapping.	2016-03-24 14:09:44 -04:00
Rob Rix	2f5127b6ca	Less duplicative Leaf mapping.	2016-03-24 14:08:28 -04:00
Rob Rix	0ee12a96b4	Use modifyJoin to map Indexed lines.	2016-03-24 14:05:05 -04:00
Rob Rix	6d4e3761c6	Use modifyJoin to map leaf lines.	2016-03-24 14:04:43 -04:00
Rob Rix	4c132d0c2d	Use modifyJoin to compute range/child intersections.	2016-03-24 14:02:40 -04:00
Rob Rix	71e53fd4ff	Use modifyJoin to bimap inside a Join.	2016-03-24 14:01:30 -04:00
Rob Rix	d118070186	Add a convenience to modify the contents of a Join.	2016-03-24 13:59:49 -04:00
Rob Rix	6b18548eb0	Export groupChildrenByLine for the tests.	2016-03-24 13:53:49 -04:00
Rob Rix	36f32e0b75	Revert "Get the first ranges for a child." ... This reverts commit 24c88022fbc6ad04912006fa9f8245bed742a342.	2016-03-24 12:52:47 -04:00