2149 Commits

Author	SHA1	Message	Date
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
Rob Rix	1e09119163	Include child lines that exist on both sides.	2016-03-24 12:52:17 -04:00
Rob Rix	56665e7a41	Pointfree definition of bimap.	2016-03-24 12:07:49 -04:00
Rob Rix	303ed05fb9	These is (are?) Bifoldable.	2016-03-24 12:06:55 -04:00
Rob Rix	385d7570c8	Revert "Don’t iterate each line of each child." ... This reverts commit 7149f1a4187ee0e855ed3538ec7fe26a0bac2eb5.	2016-03-24 11:52:14 -04:00
Rob Rix	b05b1694a7	Get the first ranges for a child.	2016-03-24 11:45:52 -04:00
Rob Rix	ccceb8d771	Re-add getRange.	2016-03-24 11:45:45 -04:00
Rob Rix	6a0302acbf	Replace rangeLists with a use of fromThese.	2016-03-24 11:34:11 -04:00
Rob Rix	4d99c94bc2	Move the definition onto a new line.	2016-03-24 11:33:11 -04:00
Rob Rix	0a1b3508ee	Don’t iterate each line of each child.	2016-03-24 11:32:41 -04:00
Rob Rix	6087ce0560	Place the comma at the start.	2016-03-24 11:32:20 -04:00