80 Commits

Author	SHA1	Message	Date
Rob Rix	c7dbd6e79b	Add an ArbitrarySyntax type.	2015-12-11 00:32:46 -05:00
Rob Rix	a71a4d2e36	Adjoining onto no rows is also identity.	2015-12-11 00:24:37 -05:00
Rob Rix	de75e838d0	Test that adjoining onto empty rows is identity.	2015-12-11 00:23:57 -05:00
Rob Rix	390fa5ee73	Test that adjoining mempty is idempotent.	2015-12-11 00:22:21 -05:00
Rob Rix	9d71aefd04	Add an Arbitrary instance for Row.	2015-12-11 00:20:25 -05:00
Rob Rix	91140aa8fa	Add an Arbitrary instance for Line.	2015-12-11 00:19:48 -05:00
Rob Rix	e84d8804bf	Add an Arbitrary instance for HTML.	2015-12-11 00:19:07 -05:00
Rob Rix	06d9a7ef04	mempty!	2015-12-11 00:13:17 -05:00
Rob Rix	23d11c1cc8	adjoin2 is idempotent for additions of and onto empty rows.	2015-12-11 00:12:28 -05:00
Rob Rix	bec2f01f02	Reflexivity requires a == a.	2015-12-11 00:05:23 -05:00
Rob Rix	873441efde	Generate an arbitrary leaf.	2015-12-11 00:05:01 -05:00
Rob Rix	f59f92e1d4	Use the prop shorthand.	2015-12-10 23:59:19 -05:00
Rob Rix	9b2fda2a49	Test that equality is reflexive.	2015-12-10 23:55:31 -05:00
Rob Rix	aa9f1d6b23	Derive Show and Eq.	2015-12-10 23:55:21 -05:00
Rob Rix	9589264745	ArbitraryTerm is an instance of Arbitrary.	2015-12-10 23:45:14 -05:00
Rob Rix	54166e7662	Add an ArbitraryTerm newtype.	2015-12-10 23:45:05 -05:00
Rob Rix	60791ffc15	import QuickCheck.	2015-12-10 23:40:42 -05:00
Rob Rix	a9bb3583e7	Fix a faulty test.	2015-12-10 16:47:10 -05:00
Rob Rix	85d141e924	Test that openLine returns Nothing for closed lines.	2015-12-10 16:31:00 -05:00
Rob Rix	d9e63c0331	Clarify a test name.	2015-12-10 16:30:52 -05:00
Rob Rix	6a73248a46	Test that openLine will produce open lines.	2015-12-10 16:29:18 -05:00
Rob Rix	15f27c5faa	We have a leaf for the purposes of this test.	2015-12-10 15:48:23 -05:00
Rob Rix	9619d2fa7f	That is not how any of this works.	2015-12-10 15:47:34 -05:00
Rob Rix	46bd5bc545	Test that termToLines produces complete lines.	2015-12-10 15:41:02 -05:00
Rob Rix	325d6e6a73	Add a test of multi-line patches.	2015-12-10 15:11:56 -05:00
joshvera	1b370a059d	rename some tests	2015-12-10 14:26:49 -05:00
joshvera	2b0c9dc4e2	Fix some of the tests	2015-12-10 14:21:52 -05:00
Rob Rix	0c9308b6ae	Use Break to represent newlines.	2015-12-10 11:35:46 -05:00
joshvera	eecfd4ff6d	promotes HTML through empty lines	2015-12-09 17:38:40 -05:00
joshvera	a05f03dd92	add some test combinators	2015-12-09 17:29:25 -05:00
joshvera	f3381509b7	remove adjoinRows tests	2015-12-09 17:29:11 -05:00
joshvera	5a252911a2	Fix incorrect index in test	2015-12-09 15:54:31 -05:00
Rob Rix	99bc580df2	Correct a fixture.	2015-12-09 15:28:42 -05:00
Rob Rix	4585545eab	Test that we don’t promote newlines through empty lines.	2015-12-09 14:56:33 -05:00
Rob Rix	6dc5a65ae8	Use the newLine definition a bit.	2015-12-09 14:56:26 -05:00
Rob Rix	b97b989803	Add a newLine definition.	2015-12-09 14:56:15 -05:00
Rob Rix	d527a03ca3	Test that adjoining newlines does not append.	2015-12-09 14:50:57 -05:00
Rob Rix	0010bb0c77	Spacing.	2015-12-09 14:47:10 -05:00
joshvera	c67ff8f2e5	working through adjoin2	2015-12-08 19:52:38 -05:00
joshvera	bcb935c49b	add maybeFirstNewLine to look in Uls for new lines	2015-12-08 18:09:45 -05:00
joshvera	51be1f341a	Fix tests	2015-12-08 12:35:40 -05:00
Rob Rix	19d92de3e0	Revert "Correct the tests." ... This reverts commit 6f9d76f3e37b075c34e5901860015cc5d7361c37.	2015-12-07 16:28:16 -05:00
Rob Rix	1ff87605e8	Correct the tests.	2015-12-07 16:02:57 -05:00
Rob Rix	c4600cdc1c	More branches.	2015-12-07 14:40:16 -05:00
Rob Rix	119bab2843	Prefix the branch classes.	2015-12-07 14:39:04 -05:00
Rob Rix	90418e3310	Prefix the leaf class with category-.	2015-12-07 14:39:00 -05:00
joshvera	0d6ac00101	Test two-line formatted indexed nodes	2015-12-04 14:18:53 -05:00
joshvera	a37e199f11	format tests	2015-12-04 14:18:41 -05:00
joshvera	f6a6ddb4d3	test two unchanged lines	2015-12-04 12:02:41 -05:00
joshvera	195272faaa	Test different formatting	2015-12-04 11:37:01 -05:00