18 Commits

Author	SHA1	Message	Date
Rob Rix	f64164d872	Generalize a constraint away.	2016-07-26 13:12:32 -04:00
Rob Rix	a967e800bb	Move the alternative instances helper down.	2016-07-26 13:12:09 -04:00
Rob Rix	be973b5bae	Generalize out a helper function to validate laws against alternative instances.	2016-07-26 13:11:52 -04:00
Rob Rix	5430f45850	Verify the merge laws over []/Maybe.	2016-07-26 13:06:18 -04:00
Rob Rix	df4621622a	Formulate a merge law.	2016-07-26 13:03:13 -04:00
Rob Rix	475c97190c	Parallelize the Mergeable spec.	2016-07-26 12:47:38 -04:00
Rob Rix	5d6b1cd047	Test the sequenceAlt laws over Syntax.	2016-07-26 05:39:02 -04:00
Rob Rix	7af29fcf10	Define the identity law over pure.	2016-07-26 04:25:45 -04:00
Rob Rix	6806438949	Generalize the sequenceAlt laws over the inner alternative functor.	2016-07-26 04:23:03 -04:00
Rob Rix	f76b334b8c	Validate the sequenceAltLaws against the Identity instance.	2016-07-26 04:16:40 -04:00
Rob Rix	a0cf6ce702	Validate the relationship between sequenceAlt and merge.	2016-07-26 04:15:56 -04:00
Rob Rix	d1bbe1c029	Validate the sequenceAltLaws against Maybe.	2016-07-26 04:08:19 -04:00
Rob Rix	88bb767ff7	Group the law invocations by functor.	2016-07-26 04:07:46 -04:00
Rob Rix	734254194c	Define sequenceAltLaws to take a generator of Mergeable values.	2016-07-26 04:06:51 -04:00
Rob Rix	fa3b7d126e	Factor the sequenceAlt law properties into a separate function.	2016-07-26 04:04:24 -04:00
Rob Rix	93c53ed90a	Stub in a property test for the proposed identity law.	2016-07-26 04:02:52 -04:00
Rob Rix	b03f1d3b91	Stub in a spec function.	2016-07-26 03:58:14 -04:00
Rob Rix	8f15a59282	Stub in a spec for the Mergeable stuff.	2016-07-26 03:56:52 -04:00