94 Commits

Author	SHA1	Message	Date
Rob Rix	20bb94bf5e	Also, tests.	2016-03-30 17:33:07 -04:00
Rob Rix	01f817a77e	Move the other arbitrary instances into ArbitraryTerm.	2016-03-15 11:17:47 -04:00
Rob Rix	f3c6f8b3f6	Compute lines within Adjoined.	2016-03-15 10:58:54 -04:00
Rob Rix	c4146dbefa	Correct the tests for the changes to the API.	2016-03-14 22:58:07 -04:00
Rob Rix	5fb11795dc	🔥 isEmptyRow.	2016-03-14 22:53:16 -04:00
Rob Rix	586894c316	splitAbstractedTerm no longer takes an align function.	2016-03-14 22:50:40 -04:00
Rob Rix	c22f86d812	🔥 adjoinRows tests.	2016-03-14 22:47:18 -04:00
Rob Rix	1bb87bf6ee	Fix up a bunch of toLists into toStrings.	2016-03-11 18:35:31 -05:00
Rob Rix	379208b3a3	🔥 qualifications of zip & zipWith.	2016-03-11 14:21:42 -05:00
Rob Rix	9c011d7de5	Migrate off Both.zip.	2016-03-11 14:21:07 -05:00
Rob Rix	a22ac1ea31	🔥 the splitPatchByLines test.	2016-03-11 12:10:56 -05:00
Rob Rix	ebd4cc7369	Split the let bindings onto a new line.	2016-03-11 12:10:01 -05:00
Rob Rix	d35738ef73	Extract the patch into a let binding.	2016-03-11 12:09:46 -05:00
Rob Rix	ceb4a0b0ec	Extract the ranges into a let binding.	2016-03-11 12:06:47 -05:00
Rob Rix	00f58ece6a	Disable the aligning closed lines test.	2016-03-11 00:41:18 -05:00
Rob Rix	c750a98f4b	Use alignRows in the tests.	2016-03-10 19:48:28 -05:00
Rob Rix	62cdbacdfe	Test that child alignment is preserved.	2016-03-10 17:48:17 -05:00
Rob Rix	736e7b95c7	Write the closed rows as Closed "".	2016-03-10 15:47:10 -05:00
Rob Rix	257c538300	Correct the expectation of the aligning test.	2016-03-10 15:46:31 -05:00
Rob Rix	68c34c11b4	Align the rows.	2016-03-10 15:45:55 -05:00
Rob Rix	9c0b512092	Make that Row Char.	2016-03-10 15:45:23 -05:00
Rob Rix	3d8df9bc4f	Test against Row String.	2016-03-10 15:44:36 -05:00
Rob Rix	bfb02f420e	Fix the open row test.	2016-03-10 15:44:07 -05:00
Rob Rix	1812bd6415	Construct arbitrary closed lines.	2016-03-10 15:38:19 -05:00
Rob Rix	5e950062e4	Correct the test of line count preservation.	2016-03-10 15:25:00 -05:00
Rob Rix	b2e8a0698a	Correct the row prepending test.	2016-03-10 15:18:55 -05:00
Rob Rix	8ff5cd101d	Rename the adjoinRows spec.	2016-03-10 14:52:06 -05:00
Rob Rix	8d36c20e9c	Use Both’s Monoid instance directly.	2016-03-10 09:24:15 -05:00
Rob Rix	68a1fb9cf8	Simplify the open row merging test.	2016-03-10 09:23:47 -05:00
Rob Rix	0e07398b59	🔥 the predicate parameters in coalescing and adjoining.	2016-03-10 09:19:47 -05:00
Rob Rix	a965894d16	Correct the test of aligning closed lines.	2016-03-10 01:04:42 -05:00
Rob Rix	324fcfab31	Correct the test of prepending closed rows.	2016-03-10 01:03:38 -05:00
Rob Rix	9614994e53	Use the isEmpty predicate to test for line emptiness.	2016-03-10 00:37:21 -05:00
Rob Rix	ec0c1c448e	Migrate the splitAnnotatedByLines tests to splitAbstractedTerm.	2016-03-09 09:32:51 -05:00
Rob Rix	5d150fd816	Abstract splitAbstractedTerm over an alignment function.	2016-03-09 05:02:54 -05:00
Rob Rix	789a7d1be8	Abstract splitAbstractedTerm over an Applicative Traversable Functor.	2016-03-09 04:57:30 -05:00
Rob Rix	73aa926bdc	Generalize adjoinRowsBy to any Applicative with an aligning function.	2016-03-09 04:13:09 -05:00
Rob Rix	d18e044d5c	Use Line, not makeLine.	2016-03-09 01:56:41 -05:00
Rob Rix	64384f407b	Use the existing totalRange function in the alignment spec.	2016-03-09 01:44:36 -05:00
Rob Rix	086a3d53cb	🔥 Row.	2016-03-09 01:39:18 -05:00
Rob Rix	820d38847c	🔥 makeRow.	2016-03-09 01:35:47 -05:00
Rob Rix	cb66328f79	Replace Row with a type synonym for Both.	2016-03-09 01:35:01 -05:00
Rob Rix	43ab2d4523	Avoid isOpenRowBy.	2016-03-09 01:05:06 -05:00
Rob Rix	ebbf19953e	Stop treating EmptyLine as distinct from an empty line.	2016-03-09 00:58:09 -05:00
Rob Rix	9f26748f3b	Abstract splitAnnotatedByLines over a makeTerm parameter function.	2016-03-08 23:37:11 -05:00
Rob Rix	3cb0cd4ac4	Remove some obsolete tests.	2016-03-08 22:14:22 -05:00
Rob Rix	cef2be6495	Correct the predicate.	2016-03-08 22:10:35 -05:00
Rob Rix	0bc811e3c1	Replace MaybeOpen with simple predicates.	2016-03-08 22:07:38 -05:00
Rob Rix	b6edbcd078	Test that adjoinRowsBy aligns on closed lines.	2016-03-08 21:51:42 -05:00
Rob Rix	50a99fe500	More predictable test of empty line promotion.	2016-03-08 10:19:05 -05:00