12714 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	297348e95f	Split term/diff renderers back up.	2017-05-29 14:56:06 -04:00
Rob Rix	a727203a3f	Move parseDiffAndRenderBlobs into Semantic.	2017-05-29 14:52:04 -04:00
Rob Rix	87e87ec54e	Spacing.	2017-05-29 14:51:55 -04:00
Rob Rix	b3fb50383e	Move parseAndRenderBlob into Semantic.	2017-05-29 14:50:13 -04:00
Rob Rix	63d32884a7	Define a high-level task to parse and render a traversable container of blobs.	2017-05-29 14:49:17 -04:00
Rob Rix	ec74497030	Export NamedDecorator and NamedRenderer.	2017-05-29 14:44:00 -04:00
Rob Rix	ac5cc1694a	Define a named s-expression renderer.	2017-05-29 14:41:38 -04:00
Rob Rix	f75f5da7a4	🔥 redundant parens.	2017-05-29 14:36:34 -04:00
Rob Rix	8b05610e52	🔥 the redundant SourceSpan constraints on s-expression rendering.	2017-05-29 14:18:10 -04:00
Rob Rix	2e1146f40a	Parse, diff, and render blobs using Task.	2017-05-29 13:59:11 -04:00
Rob Rix	cba2972731	Define a for-like convenience for distributing tasks.	2017-05-29 13:54:43 -04:00
Rob Rix	087f84a22a	Define a Task for diffing terms.	2017-05-29 13:32:23 -04:00
Rob Rix	2b9ab0be58	Distributing tasks concurrently does not imply folding their results.	2017-05-29 13:25:58 -04:00
Rob Rix	341d7f0957	Add an explicit export list to Semantic.Task.	2017-05-29 13:19:39 -04:00
Rob Rix	8cae75e743	Switch on the decorator for à la carte assignment.	2017-05-29 13:18:12 -04:00
Rob Rix	f0354b8a6c	Define the identity decorator for SyntaxTerms.	2017-05-29 13:17:24 -04:00
Rob Rix	e13f72fc85	Decorate SyntaxTerms with identifiers where requested.	2017-05-29 13:14:51 -04:00
Rob Rix	859ef1917e	Move Task & friends into their own module.	2017-05-29 13:13:36 -04:00
Rob Rix	08fea4f15c	Stub in a module for Task.	2017-05-29 13:11:17 -04:00
Rob Rix	9cd20d8fb1	Handle the other languages.	2017-05-29 13:05:33 -04:00
Rob Rix	43d8c47798	Parse and render TypeScript as well as Python.	2017-05-29 13:04:53 -04:00
Rob Rix	6f0b76d389	Move the parse task inside the language case.	2017-05-29 13:00:52 -04:00
Rob Rix	c9e3345d06	Spacing.	2017-05-29 12:55:49 -04:00
Rob Rix	da483b4c00	Add a Task primitive to distribute a list of Tasks over multiple cores.	2017-05-29 12:55:14 -04:00
Rob Rix	87adbd2897	Define an eliminator for Tasks.	2017-05-29 12:42:41 -04:00
Rob Rix	14929df4ab	🔥 a redundant Monoid constraint.	2017-05-29 12:42:21 -04:00
Rob Rix	d6f59eda1b	🔥 the Monoid constraint.	2017-05-29 12:40:25 -04:00
Rob Rix	8231d6d715	Define a function producing a Task for parsing, decorating, & rendering a blob	2017-05-29 12:35:23 -04:00
Rob Rix	9eb3ad93ff	Stub in a datatype of named renderers.	2017-05-29 12:35:00 -04:00
Rob Rix	bbc7b78f39	Stub in a datatype of named decorators.	2017-05-29 12:34:49 -04:00
Rob Rix	7081b3f8b8	Define inductive ToJSONFields instances for Unions.	2017-05-29 12:34:16 -04:00
Rob Rix	289e400a53	Export the Union constructors.	2017-05-29 12:33:30 -04:00
Rob Rix	3b988ad32a	Define smart constructors for Tasks.	2017-05-29 11:42:43 -04:00
Rob Rix	0888749f7c	Define the terms for a language of tasks.	2017-05-29 11:42:21 -04:00
Rob Rix	6554b5e40f	Define a type synonym for decorators.	2017-05-29 11:41:22 -04:00
Rob Rix	351ce77d11	🔥 a redundant StringConv constraint.	2017-05-29 10:53:29 -04:00
Rob Rix	b67e951197	🔥 redundant NFData constraints in Arguments.	2017-05-26 15:31:02 -04:00
Rob Rix	6b23b5cf3f	🔥 redundant NFData constraints.	2017-05-26 15:29:50 -04:00
Rob Rix	c98efce511	Reformat parseBlobs.	2017-05-26 15:28:49 -04:00
Rob Rix	77e0b635d0	Avoid redundant sparking of the outputs.	2017-05-26 15:08:18 -04:00
Rob Rix	c167a2a28e	Resume using parseBlob.	2017-05-26 15:05:47 -04:00
Rob Rix	4e131c84d9	Use the deleting/inserting helpers.	2017-05-26 15:05:33 -04:00
Rob Rix	e1d8a98b22	Avoid redundant concurrency.	2017-05-26 15:02:18 -04:00
Rob Rix	6ed7c37e5b	Avoid a redundant O(n) traversal of each diff.	2017-05-26 14:57:08 -04:00
Rob Rix	aaf3bb0632	Parse and render in the helper function.	2017-05-26 14:39:24 -04:00
Rob Rix	ae6fff4a93	Avoid a redundant O(n) traversal of the terms.	2017-05-26 14:37:43 -04:00
Rob Rix	0b6a805ae5	Encode in renderConcurrently.	2017-05-26 14:35:05 -04:00
Rob Rix	5828dd7969	Rename go to parse.	2017-05-26 14:26:34 -04:00
Rob Rix	2f3401919f	Parse and render each blob concurrently.	2017-05-26 14:25:58 -04:00
Rob Rix	72ad671481	renderConcurrently takes an IO action.	2017-05-26 14:08:37 -04:00