5911 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	14234a7440	Describe the monoid spec with the name of the type we’re running under.	2016-03-11 10:29:35 -05:00
Rob Rix	1e4bce59e8	Run the monoid spec over uncoalesced strings.	2016-03-11 10:29:03 -05:00
Rob Rix	c9c24894e3	Spacing.	2016-03-11 10:20:40 -05:00
Rob Rix	d765101aa2	Add a wrapper type which always coalesces values.	2016-03-11 10:20:30 -05:00
Rob Rix	9586f6608b	Rename Separated to Uncoalesced.	2016-03-11 10:18:14 -05:00
Rob Rix	fb546f0126	mappend is associative.	2016-03-11 10:16:44 -05:00
Rob Rix	e06d45637c	Extract the monoid tests into a separate spec instantiated with a generator.	2016-03-11 10:16:37 -05:00
Rob Rix	26931e3394	mempty is the right identity under mappend.	2016-03-11 09:54:33 -05:00
Rob Rix	5a3867843d	mempty is the left identity under mappend.	2016-03-11 09:54:05 -05:00
Rob Rix	322e56dd68	Run the Data.Adjoined spec.	2016-03-11 09:49:03 -05:00
Rob Rix	1815a74b68	Add a test of the reflexivity of equality.	2016-03-11 09:48:55 -05:00
Rob Rix	07e9e192e9	Scale the arbitrary term sizes down.	2016-03-11 09:32:03 -05:00
Rob Rix	e5f34dccd3	Scale the arbitrary term sizes down.	2016-03-11 09:22:17 -05:00
Rob Rix	c48bd242d7	Turn DeriveFunctor on for the tests.	2016-03-11 09:14:46 -05:00
Rob Rix	710c3ae8ff	Document Separated.	2016-03-11 09:13:39 -05:00
Rob Rix	7ff30ed5c6	Add a Coalescent instance for Separated.	2016-03-11 09:12:41 -05:00
Rob Rix	df8496a839	Add an Arbitrary instance over Separated.	2016-03-11 09:12:12 -05:00
Rob Rix	1e360dca67	Add a Separated newtype.	2016-03-11 09:12:00 -05:00
Rob Rix	1268f07c8a	Add an Arbitrary instance over Adjoined.	2016-03-11 09:06:29 -05:00
Rob Rix	4e1d4706ee	Stub in a Data.Adjoined spec module.	2016-03-11 09:06:03 -05:00
Rob Rix	233c7bc13f	🔥 a redundant import.	2016-03-11 01:14:31 -05:00
Rob Rix	cd844d7a00	🔥 zipDefaults.	2016-03-11 01:06:09 -05:00
Rob Rix	693f91b93c	🔥 bothOfThese.	2016-03-11 01:05:54 -05:00
Rob Rix	8be4e9bc83	Vendor the test/diffs-todo dir.	2016-03-11 00:53:41 -05:00
Rob Rix	be4f8551b6	Add a (deferred) fixture with asymmetrical context.	2016-03-11 00:50:48 -05:00
Rob Rix	e6bed33093	Defer a bunch of other tests too.	2016-03-11 00:43:19 -05:00
Rob Rix	00f58ece6a	Disable the aligning closed lines test.	2016-03-11 00:41:18 -05:00
Rob Rix	e1f115a739	Defer on the simple insert test for now.	2016-03-11 00:38:40 -05:00
Rob Rix	ada35d21cd	Defer on the reformat fixture too for now.	2016-03-11 00:37:00 -05:00
Rob Rix	2ceb04eb79	Tweak to the nested insert fixture.	2016-03-11 00:36:21 -05:00
Rob Rix	a4c3776456	Defer on the multiline insert test.	2016-03-11 00:34:51 -05:00
Rob Rix	39dd494c80	Don’t close empty lines when aligning.	2016-03-10 20:14:02 -05:00
Rob Rix	55318b5f2b	Name a bunch of parts of childLines.	2016-03-10 20:06:16 -05:00
Rob Rix	37865cc509	The Align instance for List pads from the start.	2016-03-10 20:05:46 -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	572819b683	Line’s Applicative instance preserves closedness.	2016-03-10 17:48:13 -05:00
Rob Rix	186337fd4d	The line isn’t gonna get any closeder.	2016-03-10 17:40:01 -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	d84b112d91	Make the align parameter explicitly act on Lines.	2016-03-10 15:39:07 -05:00
Rob Rix	1812bd6415	Construct arbitrary closed lines.	2016-03-10 15:38:19 -05:00
Rob Rix	10d27cf4e8	Define mappend using lineMap to preserve the constructor.	2016-03-10 15:28:29 -05:00
Rob Rix	5e950062e4	Correct the test of line count preservation.	2016-03-10 15:25:00 -05:00
Rob Rix	0361a5ea8c	alignRows to pad out diffs.	2016-03-10 15:20:08 -05:00
Rob Rix	b2e8a0698a	Correct the row prepending test.	2016-03-10 15:18:55 -05:00