12801 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	6454d48d63	Inline parseBlob into parseBlobs.	2017-05-26 14:04:57 -04:00
Rob Rix	78e18d1de7	Define decorator parsers.	2017-05-26 13:25:46 -04:00
Rob Rix	5c5952de8f	Generalize the declarationDecorator over other fields.	2017-05-26 10:53:21 -04:00
Rob Rix	8c5d0bf2da	Generalize patch rendering over the syntax functor.	2017-05-26 10:42:39 -04:00
Rob Rix	c6fa1ee33b	Merge branch 'master' into bounds-checked-reverse-RWS-matching	2017-05-26 10:38:30 -04:00
Rob Rix	ec66e575d3	Apply the decorators in the parsing machinery.	2017-05-26 10:36:30 -04:00
Rob Rix	adcbed5b60	Give ParseArguments a decorator field.	2017-05-26 10:25:57 -04:00
Rob Rix	e719230ee5	🔥 a redundant import.	2017-05-26 10:18:48 -04:00
Rob Rix	d556dcb395	🔥 the TreeAndRanges format of sexpr rendering.	2017-05-26 10:15:15 -04:00
Rob Rix	4748cac0ac	Drop the SourceBlob parameters from s-expression rendering.	2017-05-26 10:07:22 -04:00
Rob Rix	3b3b19bd1e	Generalize the s-expression renderers to any Foldable type constructor.	2017-05-26 10:05:28 -04:00
Rob Rix	104687a7ab	🔥 redundant parse tree JSON rendering setup.	2017-05-26 10:02:22 -04:00
Rob Rix	eb4b039c7c	Eta-reduce runRenderer.	2017-05-26 09:37:27 -04:00
Rob Rix	bc20c3ae0a	Rename resolveRenderer to runRenderer.	2017-05-26 09:34:25 -04:00