281 Commits

Author	SHA1	Message	Date
Rob Rix	2f744cd769	ArbitrarySyntax is Arbitrary.	2015-12-11 00:32:59 -05:00
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
Rob Rix	6aef6bc474	Nest the ranges in the expectations.	2015-12-04 10:49:53 -05:00
Rob Rix	ba5e5f5b9e	Correct the expected ranges.	2015-12-04 10:27:03 -05:00
Rob Rix	d4ea7a04cc	Offset the ends of ranges too.	2015-12-04 10:26:15 -05:00
Rob Rix	d3c5db105d	Test the rows computed for non-empty unchanged branches.	2015-12-04 10:19:19 -05:00
Rob Rix	72eea0c2f5	Use the span convenience.	2015-12-04 10:17:39 -05:00
Rob Rix	3efbc70622	Add a span convenience.	2015-12-04 10:17:33 -05:00
Rob Rix	1814806980	Add API to offset ranges in Info and Annotated.	2015-12-04 10:12:47 -05:00
Rob Rix	357a1aa16c	Expect text nodes.	2015-12-04 10:07:38 -05:00
Rob Rix	e60379300f	Remove the unused one line unchanged indexed source/range bindings.	2015-12-04 09:50:12 -05:00
Rob Rix	35c573e00b	Test the rows generated for single line empty unchanged indexed nodes.	2015-12-04 09:49:34 -05:00
Rob Rix	89afcac011	Use the unchanged API.	2015-12-04 09:46:58 -05:00
Rob Rix	b5bb6c952b	Add a convenience for constructing unchanged Annotated terms.	2015-12-04 09:46:24 -05:00
Rob Rix	b5c8f82e52	Remove lineRange & cats.	2015-12-04 09:45:00 -05:00
Rob Rix	d91e5c36ea	Use the info convenience.	2015-12-04 09:44:54 -05:00
Rob Rix	1902822257	Add a convenience for constructing info.	2015-12-04 09:44:09 -05:00
Rob Rix	0d9298418e	Use the convenience in the single-line unchanged leaves test.	2015-12-04 09:42:57 -05:00
Rob Rix	3a8f02f163	Add a convenience for the categories.	2015-12-04 09:42:42 -05:00
Rob Rix	43691b9473	Add source/range for a single line indexed string.	2015-12-04 09:41:11 -05:00
Rob Rix	d3c9c2ce89	Rename the line range variable.	2015-12-04 09:40:38 -05:00
Rob Rix	ec210b13f7	Test annotatedRows output for single-line leaves.	2015-12-04 09:16:23 -05:00
Rob Rix	4ccaa65f82	Describe adjoinRows.	2015-12-04 09:00:40 -05:00
Rob Rix	4697f87a88	Migrate the tests to adjoinRows.	2015-12-03 16:24:35 -05:00
Rob Rix	ea58415617	Test the multiple line cases.	2015-12-03 12:07:03 -05:00
Rob Rix	b1c593173f	Test that empty lines are the left unit with multiple lines.	2015-12-03 11:58:34 -05:00
Rob Rix	8324f3b066	Test that single lines are concatenated.	2015-12-03 11:52:46 -05:00
Rob Rix	14911bf272	Test that empty lines are the left unit.	2015-12-03 11:47:51 -05:00
Rob Rix	aa1db29cc7	Stub in a test test of adjoinLines.	2015-12-03 11:44:42 -05:00
Rob Rix	0c34de972b	This has to be named Main for now.	2015-12-03 11:44:28 -05:00
Rob Rix	659c109c64	Spec!	2015-12-03 11:38:49 -05:00
Rob Rix	e5b35fdc4a	I mean, sure.	2015-11-17 14:44:16 -08:00