238 Commits

Author	SHA1	Message	Date
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	690966086e	Remove some redundant parentheses.	2015-12-22 12:54:01 -05:00
Rob Rix	38a317156b	Move arbitrary term generation into its own module.	2015-12-22 12:53:31 -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
Rob Rix	61067a6f2a	Remove the ranges from the annotatedToRows tests.	2015-12-21 19:44:07 -05:00
Rob Rix	cbc1240946	Avoid needless $s.	2015-12-21 13:03:08 -05:00
Rob Rix	671904cf61	Remove redundant parentheses.	2015-12-21 13:01:46 -05:00
Rob Rix	c0a566be4a	Eta-reduce the definition of unchanged.	2015-12-21 13:01:38 -05:00
Rob Rix	3c85d4d0af	Use Data.Maybe’s isJust & isNothing to test for open elements.	2015-12-21 13:00:46 -05:00
Rob Rix	64362581c4	Rename adjoinBy → adjoinRowsBy.	2015-12-21 12:57:50 -05:00
Rob Rix	d4cfb276a4	Rename adjoin2By → adjoinBy.	2015-12-21 12:57:11 -05:00
Rob Rix	446383565c	Test adjoin2By.	2015-12-21 10:04:47 -05:00
Rob Rix	9404ee75c3	Test openLineBy, not openLine.	2015-12-21 10:01:00 -05:00
Rob Rix	c9f13f2f41	Define the arbitrary instances for Row and Line in terms of an Arbitrary type a.	2015-12-21 09:58:20 -05:00
Rob Rix	7964727da6	Add a type parameter to Line.	2015-12-18 16:41:50 -05:00
Rob Rix	eb89e828bb	Add a type parameter to Row. ... Currently it’s a phantom type.	2015-12-18 16:37:16 -05:00
Rob Rix	e8f57d6b27	Remove the redundant test.	2015-12-18 13:58:13 -05:00
Rob Rix	60edfc661a	Test promotion through empty lines.	2015-12-18 13:58:02 -05:00
Rob Rix	de456dfe49	Remove the redundant test.	2015-12-18 13:40:54 -05:00
Rob Rix	e1cc29e032	Don’t expect empty rows to be elided.	2015-12-18 13:27:16 -05:00
Rob Rix	963887a115	Test the property that we don’t promote through empty lines onto closed lines. ... This is falsified by empty row elision.	2015-12-18 13:27:03 -05:00
Rob Rix	7e67a6a490	Remove a redundant test.	2015-12-18 13:22:30 -05:00
Rob Rix	0b4aeb06af	Remove the redundant test.	2015-12-18 13:19:51 -05:00
Rob Rix	d699adc714	Test the property that closed rows are closed.	2015-12-18 13:19:40 -05:00
Rob Rix	c02bd6e11a	EmptyLines are not closed.	2015-12-18 13:19:05 -05:00
Rob Rix	8bb258a8e6	Add a predicate for closed rows.	2015-12-18 13:17:03 -05:00
Rob Rix	8f2473fd48	Remove a redundant test.	2015-12-18 13:05:08 -05:00
Rob Rix	6ffe3719d0	Reformat.	2015-12-18 13:04:52 -05:00
Rob Rix	595293e1a5	Actually test the property.	2015-12-18 13:02:46 -05:00
Rob Rix	e49715dd86	Use forAll to stub in the test.	2015-12-18 12:28:57 -05:00
Rob Rix	a549354030	Stub in a property test of appending onto open rows.	2015-12-18 12:11:01 -05:00
Rob Rix	013ed0e227	Add a predicate for open rows.	2015-12-18 12:10:46 -05:00