29 Commits

Author	SHA1	Message	Date
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
Rob Rix	d1020f4ca3	Tweak some test names.	2015-12-18 11:05:41 -05:00
Rob Rix	099096b409	Spacing.	2015-12-18 11:04:49 -05:00
joshvera	09faaf9b4e	clean up	2015-12-17 13:10:12 -05:00
joshvera	0223de4145	Enable autodiscovery of tests ... Also splits up tests into different specs	2015-12-17 13:08:47 -05:00