123 Commits

Author	SHA1	Message	Date
Rob Rix	959f15198c	🔥 Data.Vector.Arbitrary.	2016-08-10 09:44:02 -04:00
Rob Rix	f05570dd3e	The RWS specs don’t need to generate arbitrary vectors.	2016-08-10 09:38:41 -04:00
Rob Rix	1ce869b8d0	Avoid forAll/suchThat in the p/q tests. ... This enables us to shrink properly.	2016-08-10 09:05:12 -04:00
Rob Rix	4b2a7eaea4	Test featureVectorDecorator directly.	2016-08-09 16:34:10 -04:00
Rob Rix	1b59d2782f	Add a function to compute positive integers.	2016-08-09 16:33:54 -04:00
Rob Rix	46c2e4d8e0	Test pqGramDecorator directly.	2016-08-09 16:23:38 -04:00
Rob Rix	15f0f9c47a	Label arbitrary p,q-grams with the text, not the record.	2016-08-09 16:18:45 -04:00
Rob Rix	a06dd1dc1e	Move the Arbitrary instance over Vector into its own module.	2016-08-05 10:14:53 -04:00
Rob Rix	3e85be8740	Generate arbitrary non-empty vectors.	2016-08-05 09:26:21 -04:00
Rob Rix	eb81569599	🔥 the getLabel parameter to rws.	2016-08-05 09:08:17 -04:00
Rob Rix	9fc9827b34	rws requires a feature vector.	2016-08-04 21:01:54 -04:00
Rob Rix	32f9152f22	Rename a test.	2016-08-04 19:48:21 -04:00
Rob Rix	46a3aee33e	Define pqGrams in terms of the decorator.	2016-08-04 19:19:03 -04:00
Rob Rix	e45185037c	Merge branch 'master' into precompute-p,q-grams	2016-07-29 01:52:14 -04:00
Rob Rix	755d9877b4	pqGrams takes the label function before p and q.	2016-07-27 00:22:22 -04:00
Rob Rix	e5f9d1ed28	Test the Mergeable laws over lists.	2016-07-26 15:27:32 -04:00
Rob Rix	475ec475b6	Weaken the identity laws to be non-empty.	2016-07-26 15:27:16 -04:00
Rob Rix	dd0b0322fc	Add a property demonstrating the relationship between sequenceAlt over [Maybe a] & pure . catMaybes.	2016-07-26 14:56:02 -04:00
Rob Rix	cfb7361b9c	Scale the list generator.	2016-07-26 14:44:25 -04:00
Rob Rix	2ee68cc4b2	Add an identity law over merge.	2016-07-26 13:30:09 -04:00
Rob Rix	794fffbf47	Clean up the generator.	2016-07-26 13:25:16 -04:00
Rob Rix	b987a40377	sequenceAlt’s relationship with merge is the inverse of merge’s relationship with sequenceAlt.	2016-07-26 13:23:14 -04:00
Rob Rix	7ff92d968e	Run the merge laws over Syntax.	2016-07-26 13:17:33 -04:00
Rob Rix	e98844e937	Run the merge laws over Identity.	2016-07-26 13:17:13 -04:00
Rob Rix	7d4d14c99b	Run the merge laws over Maybe.	2016-07-26 13:16:46 -04:00
Rob Rix	8f25cbd473	🔥 some redundant constraints.	2016-07-26 13:13:45 -04:00
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
Rob Rix	4b33b24a05	Labels are computed from the entire term.	2016-07-15 14:45:37 -04:00
Rob Rix	d6c994a852	🔥 a blank line apparently.	2016-07-12 17:19:38 -04:00
Rob Rix	2108cddff6	Test rws’ behaviour w.r.t. ordering.	2016-07-07 10:37:55 -04:00
Rob Rix	51f0995c91	🔥 DataKinds.	2016-07-05 09:56:48 -04:00
Rob Rix	4cfa993239	Move the Arbitrary gram functions into Data.RandomWalkSimilarity.	2016-07-05 09:18:53 -04:00
Rob Rix	58138d5867	Scale down the sizes by a factor of four.	2016-06-30 12:37:41 -04:00