12266 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	7c5a4fa252	Move the responsibility for feature vectors into the interpreter module.	2017-05-11 09:44:16 -04:00
Rob Rix	054876fa7f	Pointful definition of diffTerms.	2017-05-11 09:40:46 -04:00
Rob Rix	e543a192ef	🔥 redundant definitions of unListableDiff.	2017-05-11 09:30:15 -04:00
Rob Rix	7227e27428	Move unListableDiff into SpecHelpers.	2017-05-11 09:28:52 -04:00
Rob Rix	1dc74959b8	Test that tableOfContentsBy includes all nodes with constant Just functions.	2017-05-11 09:27:28 -04:00
Rob Rix	0bb408bf06	Test that tableOfContentsBy will drop everything with the constant Nothing function.	2017-05-10 17:01:42 -04:00
Rob Rix	120e76a865	🔥 the old toc function.	2017-05-10 16:10:20 -04:00
Rob Rix	2a551f1a94	Use the inserting helper.	2017-05-10 16:08:39 -04:00
Rob Rix	ddd4c552a8	Revert "Define a Crosswalk instance for Patch." ... This reverts commit bdb9bccf6be16eacef8a7f745ef40e4a14a29397.	2017-05-10 16:05:27 -04:00
Rob Rix	09e93cf899	🔥 another redundant import.	2017-05-10 15:59:26 -04:00
Rob Rix	7c427aab0a	🔥 a redundant import.	2017-05-10 15:59:11 -04:00
Rob Rix	bb634a5e51	Don’t produce valid JSON summaries in the presence of errors.	2017-05-10 15:57:41 -04:00
Rob Rix	72faa30494	Invert the sense of the valid/error predicate.	2017-05-10 15:55:10 -04:00
Rob Rix	70b093392a	Swap toc/toc2.	2017-05-10 15:46:04 -04:00
Rob Rix	4ea3832200	Pass decorators to diffBlobPairs.	2017-05-10 15:41:17 -04:00
Rob Rix	aa45955ca3	Provide the declaration decorator in Renderer.	2017-05-10 15:41:04 -04:00
Rob Rix	d9e21d2ab7	ToCRenderer renders terms annotated with Maybe Declaration.	2017-05-10 15:23:59 -04:00
Rob Rix	c08319e308	DiffArguments specifies a decorator, generalizing the fields avaialble to the renderers.	2017-05-10 15:23:16 -04:00
Rob Rix	bba39a5524	diffBlobPairs takes a decorator to apply.	2017-05-10 15:21:35 -04:00
Rob Rix	6a07e1ca29	diffBlobPair applies a decorator to the terms.	2017-05-10 15:21:00 -04:00
Rob Rix	f3392042e7	Derive Generic & NFData instances for Declaration.	2017-05-10 15:11:59 -04:00
Rob Rix	4ecd6d4211	Export SExpressionFormat from Renderer.	2017-05-10 15:10:44 -04:00
Rob Rix	8930f8d1ff	Rename the entries binding.	2017-05-10 14:29:28 -04:00
Rob Rix	11a1fa9f6f	Clarify diffAlgebra substantially.	2017-05-10 14:28:10 -04:00
Rob Rix	066b2cb965	Define a toc2 function depending on declarations in the annotations.	2017-05-10 14:00:58 -04:00
Rob Rix	13d088e6b8	Define a function to compute a JSONSummary from an Entry.	2017-05-10 13:18:47 -04:00
Rob Rix	284f358d7a	Align the field selectors.	2017-05-10 12:40:07 -04:00
Rob Rix	f7e52a2934	Combine Declaration/DeclarationType.	2017-05-10 12:39:12 -04:00
Rob Rix	f20d0464ee	🔥 ClassDeclaration, since we never use it.	2017-05-10 12:29:02 -04:00
Rob Rix	38010818b0	📝 declarationAlgebra.	2017-05-10 12:10:46 -04:00
Rob Rix	6228c9ac40	Define an algebra to compute declarations for terms.	2017-05-10 12:09:43 -04:00
Rob Rix	ea7de8e68b	📝 declaration.	2017-05-10 12:01:26 -04:00
Rob Rix	9eac08919f	Simplify declaration to accept any node with a Declaration attached.	2017-05-10 12:00:13 -04:00
Rob Rix	63482dc151	Define a function selecting the annotations of nodes representing declarations.	2017-05-10 11:58:08 -04:00
Rob Rix	fdcf96cd4c	Define a type for declarations.	2017-05-10 11:57:28 -04:00
Rob Rix	40d8a7ac5c	Export Entry.	2017-05-10 11:57:10 -04:00
Rob Rix	ca14a5ef90	Reformat the exports list.	2017-05-10 11:56:06 -04:00
Rob Rix	6577852d75	Generalize tableOfContentsBy over the annotation type.	2017-05-10 11:47:19 -04:00
Rob Rix	14f6c8c2c2	Revert "Invert the patches using the Crosswalk instance." ... This reverts commit 7bd6285475bfd94ee2e3d714e610194b5dda7d03.	2017-05-10 11:26:48 -04:00
Rob Rix	b021910df6	Represent changes inside/outside of patches with different constructors.	2017-05-10 10:34:00 -04:00
Rob Rix	4f0fee6d2c	📝 the Entry constructors.	2017-05-10 10:27:50 -04:00
Rob Rix	d21c408af3	📝 Entry.	2017-05-10 10:24:43 -04:00
Rob Rix	bc5b6acf04	📝 the arguments to tableOfContentsBy.	2017-05-10 10:24:16 -04:00
Rob Rix	a2356def79	📝 tableOfContentsBy.	2017-05-10 10:21:00 -04:00
Rob Rix	37f8afdf7f	Reformat the tableOfContentsBy signature.	2017-05-10 10:20:51 -04:00
Rob Rix	e4556e2ae2	Export tableOfContentsBy.	2017-05-10 10:05:29 -04:00
Rob Rix	fe18e38284	Replace tableOfContentsBy’s predicate with a map onto the values of entries.	2017-05-10 10:05:12 -04:00
Rob Rix	86f852c8f0	Simplify tableOfContentsBy.	2017-05-10 10:00:20 -04:00
Rob Rix	0534c3303d	Define a function to compute the table of contents for a diff given some relevance predicate.	2017-05-10 09:55:05 -04:00
Rob Rix	bf2a12cbf4	Invert the patches using the Crosswalk instance. ... This acts like a zip rather than like the cartesian product.	2017-05-10 08:50:33 -04:00