7050 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	032dcb047b	Pass both the syntaxes to the helper function directly.	2016-07-08 13:57:25 -04:00
Rob Rix	9242d2fe7c	Add an alignment function over Cofree f a.	2016-07-08 13:44:29 -04:00
Rob Rix	39a1869bf5	Add a (naïve) Align instance over OrderedMap.	2016-07-08 13:38:48 -04:00
Rob Rix	1bf9d63acf	Whoops.	2016-07-08 12:17:38 -04:00
Rob Rix	51d8fcd99a	Match the parameters only once.	2016-07-08 12:14:42 -04:00
Rob Rix	6961a9ac9c	Use wrap.	2016-07-08 12:14:21 -04:00
Josh Vera	6420010a6c	Merge pull request #617 from github/random-walk-similarity ... Random walk similarity	2016-07-06 14:15:32 -04:00
Rob Rix	94ccb9737d	Merge branch 'master' into random-walk-similarity	2016-07-05 12:35:37 -04:00
Rob Rix	0090b0955f	Merge pull request #621 from github/semantic-codemap ... Roadmap updates, mid-year edition	2016-07-05 10:55:07 -04:00
Rob Rix	51867ccf3f	Quick summary of the ongoing work.	2016-07-05 10:41:05 -04:00
Rob Rix	f91860d68f	🔥 DataKinds here, too.	2016-07-05 10:11:29 -04:00
Rob Rix	51f0995c91	🔥 DataKinds.	2016-07-05 09:56:48 -04:00
Rob Rix	baafd5f7a8	📝 mergeMaybe, beforeTerm, and afterTerm.	2016-07-05 09:45:28 -04:00
Rob Rix	5ea93ba8de	🔥 merge.	2016-07-05 09:43:03 -04:00
Rob Rix	5d644f7d56	📝 rws.	2016-07-05 09:40:40 -04:00
Rob Rix	be674ecd97	📝 firstAnnotation.	2016-07-05 09:35:47 -04:00
Rob Rix	1e2ff9340f	📝 Gram.	2016-07-05 09:34:17 -04:00
Rob Rix	f53e7d61dd	📝 pqGrams.	2016-07-05 09:32:03 -04:00
Rob Rix	0a498656c7	🔥 serialize.	2016-07-05 09:30:28 -04:00
Rob Rix	952cb298eb	📝 windowed.	2016-07-05 09:29:27 -04:00
Rob Rix	3daf7f96ca	📝 featureVector.	2016-07-05 09:27:44 -04:00
Rob Rix	9632bea377	📝 vmagnitude.	2016-07-05 09:26:34 -04:00
Rob Rix	cf6a5d77a6	Tacit definition of vmagnitude.	2016-07-05 09:25:08 -04:00
Rob Rix	7f6fc45116	📝 gramWithPQ.	2016-07-05 09:21:49 -04:00
Rob Rix	84e739e540	🔥 the Bag type synonym.	2016-07-05 09:20:16 -04:00
Rob Rix	d6fef50ad5	Add a heading for the instances.	2016-07-05 09:19:36 -04:00
Rob Rix	f5ce4e0822	🔥 the nearestNeighbour function.	2016-07-05 09:19:30 -04:00
Rob Rix	4cfa993239	Move the Arbitrary gram functions into Data.RandomWalkSimilarity.	2016-07-05 09:18:53 -04:00
Rob Rix	827d654485	Use List.lookup and replace the found term.	2016-07-04 16:50:01 -04:00
Rob Rix	a8effb6d6d	Don’t filter, just operate over the unmapped list.	2016-07-04 15:29:22 -04:00
Rob Rix	89df373821	We don’t need to bind this after all.	2016-07-04 15:25:07 -04:00
Rob Rix	c724f61f49	Insert deletions in the correct position.	2016-07-04 15:20:18 -04:00
Rob Rix	ea9cbbd1e7	Keep track of the unmapped diffs, not the mapped ones.	2016-07-04 15:19:15 -04:00
Rob Rix	7b75edcb78	Don’t reconstruct the key/value pairs.	2016-07-04 15:06:21 -04:00
Rob Rix	f34e9a6a0a	🔥 a redundant import.	2016-07-04 15:04:35 -04:00
Rob Rix	063aeea8b0	Use leaf values in the labels.	2016-06-30 15:03:32 -04:00
Rob Rix	e967668572	Require a Hashable instance for the leaf type.	2016-06-30 15:03:00 -04:00
Rob Rix	e3a43b77a9	Fix overloaded string warning.	2016-06-30 15:02:28 -04:00
Rob Rix	02965e2edb	Cons.	2016-06-30 14:58:00 -04:00
Rob Rix	3cd2a4b82c	Extract a function to select the category.	2016-06-30 14:24:59 -04:00
Rob Rix	e54f216672	Shrink ArbitraryDiff generically.	2016-06-30 14:19:29 -04:00
Rob Rix	0770a410d4	Represent ArbitraryDiff as a datatype.	2016-06-30 14:19:22 -04:00
Rob Rix	5b70ff7635	Extract unArbitraryDiff.	2016-06-30 14:16:37 -04:00
Rob Rix	99ffbebd84	Construct ArbitraryDiff using the extracted syntaxOfSize function.	2016-06-30 14:14:41 -04:00
Rob Rix	2d821fec97	Construct ArbitraryTerm using the extracted syntaxOfSize function.	2016-06-30 14:13:39 -04:00
Rob Rix	84b550262e	Shrink ArbitraryTerm generically.	2016-06-30 14:13:29 -04:00
Rob Rix	8d043e7de9	Add an Arbitrary instance over Syntax. ... This also implements sized arbitrary values.	2016-06-30 14:10:44 -04:00
Rob Rix	03b6964d7c	Derive a Generic instance over Syntax.	2016-06-30 14:10:12 -04:00
Rob Rix	dd71aa0c6e	Add an Arbitrary instance over OrderedMap.	2016-06-30 14:09:55 -04:00
Rob Rix	19905faee8	Derive a Generic instance for Data.OrderedMap.	2016-06-30 14:08:01 -04:00