411 Commits

Author	SHA1	Message	Date
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	1815a74b68	Add a test of the reflexivity of equality.	2016-03-11 09:48:55 -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