12966 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	59391fbdc9	Generalize the comparability relation to enforce O(1) complexity.	2017-05-31 14:20:01 -04:00
Rob Rix	71f304ff90	Split out a helper to decorate terms with feature vectors & strip the resulting diff.	2017-05-31 13:11:56 -04:00
Rob Rix	2e60145337	Export diffTermsWith.	2017-05-31 13:11:05 -04:00
Rob Rix	de23ac3803	Reformat the module header.	2017-05-31 13:10:58 -04:00
Rob Rix	326340d099	Merge branch 'master' into python-diffs	2017-05-31 12:44:47 -04:00
Rob Rix	d22f16ce6c	Merge pull request #1137 from github/abstract-rendering-over-the-syntax-functor ... Abstract rendering over the syntax functor	2017-05-31 12:44:17 -04:00
Rob Rix	44335424ed	Rename diffAndRenderTermPair to diffTermPair.	2017-05-31 12:40:27 -04:00
Rob Rix	bd0e5d3ea5	Merge branch 'abstract-rendering-over-the-syntax-functor' into python-diffs	2017-05-31 12:39:11 -04:00
Rob Rix	0fa132f20f	Export a diffBlobPairs helper from Semantic.	2017-05-31 12:36:42 -04:00
Rob Rix	514a55a62b	Export a parseBlobs helper from Semantic.	2017-05-31 12:35:18 -04:00
Rob Rix	4b5ad434e8	Rename parseDiffAndRenderBlobPair to diffBlobPair.	2017-05-31 12:27:21 -04:00
Rob Rix	fc536d8402	Rename parseAndRenderBlob to parseBlob.	2017-05-31 12:25:40 -04:00
Rob Rix	268262b7be	Split diffing terms with a syntax-motivated refinement function out into a separate function.	2017-05-31 12:24:32 -04:00
Rob Rix	cc94e45436	Apply renderers to blobs up front.	2017-05-31 12:05:28 -04:00
Rob Rix	f3d99dc300	Partially apply renderers to blobs.	2017-05-31 12:04:12 -04:00
Rob Rix	51592d4003	Stub in Python diffing for s-expression rendering.	2017-05-31 11:41:57 -04:00
Rob Rix	fb587a759a	Bind a variable for the effective language.	2017-05-31 10:59:31 -04:00
Rob Rix	e5558c32a4	Evaluate the results of tasks to whnf in parallel.	2017-05-30 14:57:14 -04:00
Rob Rix	3a4bf7ebcf	Derive Show instances for DiffArguments & ParseArguments.	2017-05-30 13:25:53 -04:00
Rob Rix	50e019d9bb	📝 the TermRenderer constructors.	2017-05-30 13:18:58 -04:00
Rob Rix	e26fcd4377	📝 the DiffRenderer constructors.	2017-05-30 13:17:13 -04:00
Rob Rix	086a58932c	📝 distribute, distributeFor, & distributeFoldMap.	2017-05-30 12:57:23 -04:00
Rob Rix	ab91184f94	📝 parse, decorate, diff, & render.	2017-05-30 11:59:25 -04:00
Rob Rix	b9ee1564f4	📝 runTask.	2017-05-30 11:56:45 -04:00
Rob Rix	40262691bf	📝 Task, Differ, and Renderer.	2017-05-30 11:56:13 -04:00
Rob Rix	aefefb7b6b	📝 DiffRenderer and TermRenderer.	2017-05-30 11:50:38 -04:00
Rob Rix	111ca2f31f	🔥 redundant imports.	2017-05-30 11:44:04 -04:00
Rob Rix	6e38a8a53b	Include the full methods object since we no longer parse the structure.	2017-05-30 11:33:23 -04:00
Rob Rix	07588d41b1	Filter out missing blobs.	2017-05-30 11:24:25 -04:00
Rob Rix	91ffd5d621	Resume rendering JSON diffs & terms differently.	2017-05-30 11:19:54 -04:00
Rob Rix	79c04677bf	Annotate an overloaded string.	2017-05-30 11:12:09 -04:00
Rob Rix	e737a18606	🔥 redundant functions.	2017-05-30 11:11:10 -04:00
Rob Rix	a4356bc1f3	🔥 a redundant parameter.	2017-05-30 11:11:04 -04:00
Rob Rix	a45a243342	🔥 redundant imports.	2017-05-30 11:10:47 -04:00
Rob Rix	ee9123baa8	Nothing is a perfectly cromulent language.	2017-05-30 11:05:06 -04:00
Rob Rix	5f0b620152	Merge branch 'master' into abstract-rendering-over-the-syntax-functor	2017-05-30 10:46:03 -04:00
Rob Rix	77e6e8cda7	Merge pull request #1135 from github/bounds-checked-reverse-RWS-matching ... Bounds-checked reverse RWS matching	2017-05-30 10:45:05 -04:00
Rob Rix	2c8bb24343	Test that diffAndRenderTermPair produces Nothing when both blobs are missing.	2017-05-30 10:33:59 -04:00
Rob Rix	8744bd0072	Correct SemanticSpec.	2017-05-30 10:33:48 -04:00
Rob Rix	a8fb1817d0	Define an identity renderer for terms, for the tests.	2017-05-30 10:32:25 -04:00
Rob Rix	f95dd4215d	Correct TOCSpec.	2017-05-30 10:29:37 -04:00
Rob Rix	9b4d70bb2d	Define an IdentityDiffRenderer for the tests.	2017-05-30 10:26:20 -04:00
Rob Rix	1475646281	Derive an Eq instance for Summaries.	2017-05-30 10:25:45 -04:00
Rob Rix	25b89ada33	Update CommandSpec & SpecHelpers for Maybe returns.	2017-05-30 10:25:22 -04:00
Rob Rix	f360b25d16	Defer the Monoid handling by returning in Maybe.	2017-05-30 10:22:37 -04:00
Rob Rix	aeb2942070	🔥 a redundant import.	2017-05-30 10:13:30 -04:00
Rob Rix	cef554a91b	🔥 SourceText.	2017-05-30 10:11:08 -04:00
Rob Rix	2aa7862cfc	Sort the imports.	2017-05-30 10:08:17 -04:00
Rob Rix	a2a1c596d8	🔥 SourceTermRenderer.	2017-05-30 10:06:23 -04:00
Rob Rix	6da32d8749	Correct CommandSpec.	2017-05-30 09:58:16 -04:00