82 Commits

Author	SHA1	Message	Date
Rob Rix	4c395ff1d1	Import the Line module in the tests.	2015-12-22 17:22:07 -05:00
Rob Rix	1621dca3bc	Remove the offset functions.	2015-12-22 17:12:08 -05:00
Rob Rix	08d03e933c	Remove the term construction helpers.	2015-12-22 17:11:49 -05:00
Rob Rix	ddf4ccd141	Remove the row text functions.	2015-12-22 17:10:57 -05:00
Rob Rix	3d1fb64cbc	Remove span.	2015-12-22 17:10:49 -05:00
Rob Rix	52a057b577	Remove the Arbitrary instance for HTML.	2015-12-22 17:08:50 -05:00
Rob Rix	6663dfe87b	openMaybe is defined over Maybe Bool.	2015-12-22 17:08:02 -05:00
Rob Rix	b121ee54e3	Remove openString.	2015-12-22 17:06:55 -05:00
Rob Rix	821ee2e792	Test the identity case via openMaybe.	2015-12-22 17:06:51 -05:00
Rob Rix	cf00dcd95e	Test appending onto open rows via openMaybe.	2015-12-22 17:06:45 -05:00
Rob Rix	cfee3a90fc	Test promoting onto open lines via openMaybe.	2015-12-22 17:06:09 -05:00
Rob Rix	8f34f04dae	Test not promoting onto closed lines via openMaybe.	2015-12-22 17:05:35 -05:00
Rob Rix	7b2ac76422	Test not appending onto closed rows by means of openMaybe. ... This is much faster.	2015-12-22 17:05:02 -05:00
Rob Rix	208df10e1a	Add an openMaybe function for quicker open/closed tests.	2015-12-22 17:02:34 -05:00
Rob Rix	c643f2ed58	Test not appending onto closed rows over strings.	2015-12-22 16:56:22 -05:00
Rob Rix	8c71fff97a	Test appending onto open rows over strings.	2015-12-22 16:55:53 -05:00
Rob Rix	cfa82876c1	Generalize the isOpen predicate.	2015-12-22 16:55:18 -05:00
Rob Rix	631e572ab3	Generalize the isClosed predicate.	2015-12-22 16:55:13 -05:00
Rob Rix	8599fd46d9	Test adjoinRowsBy using openString.	2015-12-22 16:52:36 -05:00
Rob Rix	3adfd06d5a	Add an open string selector.	2015-12-22 16:52:20 -05:00
Rob Rix	bbbd874722	Remove the openLineBy tests using openElement.	2015-12-22 16:35:23 -05:00
Rob Rix	bd3bee668a	Generalize the splitTermByLines test across arbitrary strings.	2015-12-22 16:34:32 -05:00
Rob Rix	ebb843ef4d	Remove the termToLines test.	2015-12-22 16:29:14 -05:00
Rob Rix	c41364a743	Remove the remaining annotatedToRows tests.	2015-12-22 16:28:49 -05:00
Rob Rix	9a496a6be5	Populate the indexed term with leaves.	2015-12-22 16:26:24 -05:00
Rob Rix	1b90bc0291	Add a function to construct a leaf from a pair of line ranges.	2015-12-22 16:26:07 -05:00
Rob Rix	6510e95526	Test that we always produce the maximum of the lines in two sources.	2015-12-22 16:10:05 -05:00
Rob Rix	603e750d67	Remove an unused let binding.	2015-12-22 15:55:59 -05:00
Rob Rix	ef027dba36	Test that we preserve the line counts in equal diffs.	2015-12-22 15:48:37 -05:00
Rob Rix	9e6f415dc6	Port the single-line empty unchanged indexed diff test to splitAnnotatedByLines.	2015-12-22 15:38:18 -05:00
Rob Rix	b3c0802e55	Use the abstracted predicate.	2015-12-22 14:44:57 -05:00
Rob Rix	780c8247a3	Abstract out a predicate for terms on a single line.	2015-12-22 14:44:49 -05:00
Rob Rix	b970f02c1d	Don’t offset arbitrary leaves.	2015-12-22 13:38:44 -05:00
Rob Rix	bf05d63401	Rename the tripling function.	2015-12-22 13:31:31 -05:00
Rob Rix	5a552dc97c	Simplify the single-line unchanged leaf property.	2015-12-22 13:29:36 -05:00
Rob Rix	0422098f9b	arbitraryLeaf doesn’t construct terms.	2015-12-22 13:29:12 -05:00
Rob Rix	aaaf8f27a4	Stub in a function to make arbitrary leaves & sources in some type.	2015-12-22 13:16:03 -05:00
Rob Rix	867772d749	Remove the corresponding annotatedToRows test.	2015-12-22 13:04:39 -05:00
Rob Rix	2a8a879590	Remove the hard-coded test.	2015-12-22 13:04:33 -05:00
Rob Rix	c4da8fb229	Generalize the single-line leaf test to arbitrary sources.	2015-12-22 13:04:07 -05:00
Rob Rix	fbe899be21	Remove the changed flag from Line.	2015-12-22 12:47:12 -05:00
Rob Rix	3b3a62a777	Test that single-line leaves are split correctly.	2015-12-22 12:39:54 -05:00
Rob Rix	597fe099bc	Pass an additional open predicate to adjoinRowsBy.	2015-12-21 23:09:14 -05:00
Rob Rix	2c3ff54dc6	Assertive assertions.	2015-12-21 20:23:56 -05:00
Rob Rix	1f6440e7a1	Test that openTerm returns Just for open terms.	2015-12-21 20:08:05 -05:00
Rob Rix	41e03beb85	Tweak the test name’s wording.	2015-12-21 20:07:53 -05:00
Rob Rix	7ee39b2d40	Test that openTerm classifies strings ending with newlines as closed.	2015-12-21 20:06:19 -05:00
Rob Rix	d1abf65cdd	Test openLineBy over openTerm.	2015-12-21 20:04:05 -05:00
Rob Rix	60edd3b19a	Omit the categories in the splitTermByLines test.	2015-12-21 20:02:17 -05:00
Rob Rix	b45e10eb92	Port the termToLines test to splitTermByLines.	2015-12-21 19:54:40 -05:00