99 Commits

Author	SHA1	Message	Date
Rob Rix	d355f268e6	Hide ++ in the tests.	2015-12-23 23:44:02 -05:00
Rob Rix	69aadf4ec5	Rename makeSource → fromList.	2015-12-23 23:37:51 -05:00
Rob Rix	b138864068	Correct the tests.	2015-12-23 23:36:49 -05:00
Rob Rix	0bb6462fad	Rename unSource to toList.	2015-12-23 23:26:37 -05:00
Rob Rix	e9449fccb8	Move Source & its API to the Source module.	2015-12-23 22:38:20 -05:00
Rob Rix	d7ad161495	Build leaves from the sources on either side.	2015-12-23 22:34:27 -05:00
Rob Rix	2e823392d1	Filter the strings in the sources.	2015-12-23 22:30:11 -05:00
Rob Rix	f1ab391423	arbitraryLeaf produces a Source.	2015-12-23 22:27:48 -05:00
Rob Rix	5e8e9bda5f	Construct leaves with subsources.	2015-12-23 22:27:42 -05:00
Rob Rix	7b6bc623c9	Get some more total ranges from sources.	2015-12-23 22:27:30 -05:00
Rob Rix	adc850f328	Unwrap the source before filtering.	2015-12-23 22:27:21 -05:00
Rob Rix	75ead61274	Move getTotalRange into the tests. ... It’s kind of a lie.	2015-12-23 22:20:35 -05:00
Rob Rix	99b04b4038	isOnSingleLine takes a Source.	2015-12-23 22:19:29 -05:00
Rob Rix	e0560d272b	Use getTotalRange in the tests.	2015-12-23 22:18:10 -05:00
Rob Rix	60aecae119	Add an Arbitrary instance over Source.	2015-12-23 22:18:01 -05:00
Rob Rix	4219f438be	Make sources in the openLineBy tests.	2015-12-23 22:10:30 -05:00
Rob Rix	e2cc92bdf7	Move Row into the Row module.	2015-12-22 17:24:58 -05:00
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