7262 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	f553cac094	Specialize pqGrams to Cofree of Syntax.	2016-06-22 16:17:54 -04:00
Rob Rix	5bdbf3eb7d	🔥 a type signature.	2016-06-22 16:09:59 -04:00
Rob Rix	ff5059dff1	Add a windowed fold operator.	2016-06-22 15:55:54 -04:00
Rob Rix	ea717c6582	Test that we produce grams with bases of length q.	2016-06-22 15:55:39 -04:00
Rob Rix	e15af19835	🔥 a redundant import.	2016-06-22 15:55:15 -04:00
Rob Rix	0092655cb6	Clean up the tests.	2016-06-22 15:55:11 -04:00
Rob Rix	a5f1926b63	Tidying.	2016-06-22 15:21:54 -04:00
Rob Rix	fa64af054d	Merge branch 'master' into random-walk-similarity	2016-06-22 15:19:32 -04:00
Rob Rix	f1d190326c	Remove children from the unpacking function.	2016-06-22 15:18:37 -04:00
Rob Rix	dac5431c1b	Fold instead of unpacking children.	2016-06-22 15:17:39 -04:00
Rob Rix	6e3c9ddd00	Flesh out stems from the root.	2016-06-22 15:15:44 -04:00
Rob Rix	6c36e80602	Try to define pqGrams as a hylomorphism.	2016-06-22 15:13:15 -04:00
Rob Rix	ad380bf08d	Limit the p,q-gram test to p > 0 & q > 0.	2016-06-22 15:02:10 -04:00
Rob Rix	7ff1fb0021	Assign placeholder parents at the root.	2016-06-22 13:46:31 -04:00
Rob Rix	f2c5dd3d8c	Test that the stems are of length p.	2016-06-22 13:46:06 -04:00
Rob Rix	4d2af0684d	Represent Gram labels in Maybe.	2016-06-22 11:52:50 -04:00
Rob Rix	7da6fde412	Test that pqGrams produces grams with stems of length p.	2016-06-22 11:27:30 -04:00
Rob Rix	4cb3261069	Correct the property by limiting it to d > 0.	2016-06-22 11:07:43 -04:00
Rob Rix	0bef12d722	Test that featureVector produces d-vectors.	2016-06-22 11:04:27 -04:00
Rob Rix	dbcf4a2da0	Derive Eq & Show instances.	2016-06-22 11:01:52 -04:00
Rob Rix	e8428446e2	Shrink Grams.	2016-06-22 10:59:16 -04:00
Rob Rix	5bfd65b665	Use gramWithPQ for the Arbitrary instance.	2016-06-22 10:57:43 -04:00
Rob Rix	1d848e6dc3	Generate arbitrary p,q-grams.	2016-06-22 10:54:48 -04:00
Rob Rix	b85e2f27ce	Add an Arbitrary instance over Grams.	2016-06-22 10:53:50 -04:00
Rob Rix	9a976869b2	Stub in a module for arbitrary grams.	2016-06-22 10:53:29 -04:00
Rob Rix	cc8fcb926e	Include the Gram spec.	2016-06-22 10:45:43 -04:00
Rob Rix	52e274b57d	Stub in the spec itself.	2016-06-22 10:45:31 -04:00
Rob Rix	d5e807257e	Hush, hlint.	2016-06-22 10:43:02 -04:00
Rob Rix	51392382ef	Stub in a spec for Data.Gram.	2016-06-22 10:41:13 -04:00
Rob Rix	ae08777c52	Prepend p parent labels.	2016-06-22 10:21:37 -04:00
Rob Rix	fa760d7ae1	Assign parents.	2016-06-22 10:13:25 -04:00
Rob Rix	c1f1fb71c9	Unpack lists of children.	2016-06-22 10:12:59 -04:00
Rob Rix	f8f1a073f6	Produce the label at each node.	2016-06-22 10:02:44 -04:00
Rob Rix	2edbff580c	Abstract the unpacking function universally.	2016-06-22 10:02:01 -04:00
Rob Rix	228f5212ee	Unpack the label and children at each level.	2016-06-22 09:56:10 -04:00
Rob Rix	dda39902b2	Specialize the unpacking function type.	2016-06-22 09:56:01 -04:00
Rob Rix	91db911cd2	Stub in a function to compute the p,q-grams for a given tree.	2016-06-22 09:54:14 -04:00
Rob Rix	67ab1f11a2	Merge pull request #616 from github/mini-summit-problems ... Mini-summit notes detailing existing problem areas for semantic diff.	2016-06-22 09:43:12 -04:00
Rob Rix	1d225b39ad	Qualify our imports.	2016-06-22 09:37:02 -04:00
Rob Rix	51f3d3d11d	Compute random Doubles instead.	2016-06-21 19:04:35 -04:00
Rob Rix	686f94d53e	Compute feature vectors from Bags of p,q-grams.	2016-06-21 18:50:06 -04:00
Rob Rix	226be486c8	Add a Random instance over Ratios.	2016-06-21 18:48:44 -04:00
joshvera	efc1ca7973	Add Ternary/MathAssignment/Operator cases to DiffSummary	2016-06-21 18:20:25 -04:00
Rob Rix	ce838de9b4	Bags are DLists.	2016-06-21 17:49:34 -04:00
joshvera	42cd6f98df	Add more cases to syntax ToMarkup instance	2016-06-21 17:31:57 -04:00
Rob Rix	0fb73b6d96	Grams are Hashable.	2016-06-21 17:29:49 -04:00
Rob Rix	87b9c1c8e2	Bags are Hashable.	2016-06-21 17:29:09 -04:00
Rob Rix	2c9ef943b8	Depend on hashable.	2016-06-21 17:24:18 -04:00
joshvera	40b3f55776	Add more Diff.Arbitrary cases	2016-06-21 17:16:22 -04:00
joshvera	bf4c1e8221	Add Ternary case to Diff.Arbitrary	2016-06-21 17:13:24 -04:00