19566 Commits

Author	SHA1	Message	Date
Rob Rix	9f68d5b6c5	Redefine DiffActions as a constraint synonym.	2019-10-02 09:21:08 -04:00
Rob Rix	1fdecb0abb	Redefine TermActions as a constraint synonym since we’re specialized to it.	2019-10-02 09:19:47 -04:00
Rob Rix	764710260c	🔥 yet more redundant language extensions.	2019-10-02 09:14:43 -04:00
Rob Rix	8af41587e4	🔥 more redundant language extensions.	2019-10-02 09:13:41 -04:00
Rob Rix	9b1c99f159	🔥 redundant language extensions.	2019-10-02 08:47:59 -04:00
Rob Rix	c847990bd6	🔥 a redundant language pragma.	2019-10-01 23:33:11 -04:00
Rob Rix	bc62f324df	Diff using an abstract interface.	2019-10-01 23:32:48 -04:00
Rob Rix	08247c7444	Summarize diffs legacy-wise using an abstract interface.	2019-10-01 22:56:41 -04:00
Rob Rix	fea2338eae	🔥 renderToCTerm.	2019-10-01 22:43:43 -04:00
Rob Rix	f08ac25116	Summarize diffs using an abstract interface.	2019-10-01 22:29:29 -04:00
Rob Rix	e5685f9f5c	🔥 redundant parens.	2019-10-01 22:26:05 -04:00
Rob Rix	5fe4b1da74	🔥 withSomeTermPair.	2019-10-01 22:23:15 -04:00
Rob Rix	68ea7e147d	The diff & term types are mutually supporting.	2019-10-01 22:14:12 -04:00
Rob Rix	0c5342a030	Diff via an abstract interface.	2019-10-01 22:12:18 -04:00
Rob Rix	377d824898	Use distinct type parameters for the annotations on either side. ... This allows us to ensure that they’re handled soundly.	2019-10-01 22:10:42 -04:00
Rob Rix	7aa36de3f9	Spacing.	2019-10-01 22:05:29 -04:00
Rob Rix	8fc85e8f2b	Render diffs to JSON graphs using an abstract interface.	2019-10-01 22:02:50 -04:00
Rob Rix	b401da6c1f	Render diffs to JSON trees using an abstract interface.	2019-10-01 21:58:15 -04:00
Rob Rix	bf14a4f464	Rename jsonTerm' to jsonTreeTerm.	2019-10-01 21:54:29 -04:00
Rob Rix	c0278a970b	Factor the JSON renderer into jsonDiff.	2019-10-01 21:53:30 -04:00
Rob Rix	bda1269c76	Render diffs to DOT graphs using an abstract interface.	2019-10-01 21:50:47 -04:00
Rob Rix	cc77d7bf17	Render diffs to s-expressions using an abstracted interface.	2019-10-01 21:48:22 -04:00
Rob Rix	868bde86c1	🔥 the CanDiff constraint synonym in favour of DiffActions.	2019-10-01 21:45:37 -04:00
Rob Rix	972653aef2	Show diffs via an abstracted interface.	2019-10-01 21:44:25 -04:00
Rob Rix	bc13823887	Don’t pass the BlobPair to the render function.	2019-10-01 21:43:00 -04:00
Rob Rix	64c2287874	Move the BlobPair to the final position.	2019-10-01 21:35:45 -04:00
Rob Rix	05103d8324	Reformat the doDiff signature.	2019-10-01 21:33:43 -04:00
Rob Rix	6050f10ecf	🔥 redundant parens.	2019-10-01 21:29:42 -04:00
Rob Rix	fdb6d96ab5	Use a class to constrain diffable terms.	2019-10-01 21:23:44 -04:00
Rob Rix	81847425fa	Rename JSONTerm to JSONTreeTerm.	2019-10-01 17:20:37 -04:00
Rob Rix	2034359841	Resume grouping the constraints up.	2019-10-01 17:15:27 -04:00
Rob Rix	f644a452b2	Export less.	2019-10-01 17:04:51 -04:00
Rob Rix	f9e05fc234	🔥 a redundant language extension.	2019-10-01 16:11:19 -04:00
Rob Rix	7b256bffef	Define a ShowTerm instance for precise Python terms.	2019-10-01 16:03:41 -04:00
Rob Rix	235b2e868b	Abstract doParse over the constraints.	2019-10-01 16:03:26 -04:00
Rob Rix	aab52d5e36	🔥 redundant parens.	2019-10-01 15:43:36 -04:00
Rob Rix	3c37459f31	Spacing.	2019-10-01 15:41:50 -04:00
Rob Rix	50105fd525	Express all the necessary constraints over terms, not syntax.	2019-10-01 15:39:50 -04:00
Rob Rix	51dbc97226	Abstract rendering terms to JSON graphs.	2019-10-01 15:36:36 -04:00
Rob Rix	9d4b7cec29	Use the abstract interface for timing.	2019-10-01 15:33:58 -04:00
Rob Rix	bf26428ac0	Abstract JSON term serialization.	2019-10-01 15:33:15 -04:00
Rob Rix	897304ce03	Use the abstract definitions directly.	2019-10-01 15:27:45 -04:00
Rob Rix	c6cfa944d4	Use the abstracted definitions.	2019-10-01 15:25:01 -04:00
Rob Rix	97400fba94	Define a class abstracting DOT graphing.	2019-10-01 15:24:21 -04:00
Rob Rix	0cc79bb866	Define a class abstract s-expression serialization.	2019-10-01 15:23:13 -04:00
Rob Rix	2f77374b9b	Define a class abstracting term showing.	2019-10-01 15:21:58 -04:00
Rob Rix	12a07c252b	Factor the parse out of dotGraphTerm.	2019-10-01 15:15:53 -04:00
Rob Rix	8c6bf14d8f	Factor the parse out of showTerm.	2019-10-01 15:13:34 -04:00
Rob Rix	41a61e37ad	Specialize sexpTerm to Term.	2019-10-01 15:11:49 -04:00
Rob Rix	197ffdd404	Refactor sexpTerm to eliminate the parse.	2019-10-01 15:09:22 -04:00
Rob Rix	e727b3c81b	Eliminate the terms directly in doParse.	2019-10-01 15:05:19 -04:00
Rob Rix	19ac4d2c9a	Align the blobs.	2019-10-01 15:02:09 -04:00
Rob Rix	6f5e2ff8e4	Eliminate the term directly in doParse.	2019-10-01 15:00:33 -04:00
Rob Rix	a060a15d43	Align all the blobs.	2019-10-01 14:56:36 -04:00
Rob Rix	710173303e	Reformat the doParse signature.	2019-10-01 14:54:49 -04:00
Rob Rix	5e1b21c773	Export ToSExpression.	2019-10-01 13:00:38 -04:00
Rob Rix	13e3788422	Reformat the signature for doParse.	2019-10-01 12:53:47 -04:00
Rob Rix	02f46c650d	Define TermConstraints as a class.	2019-10-01 12:52:42 -04:00
Rob Rix	7aaaa6433c	🔥 redundant parens.	2019-10-01 12:47:40 -04:00
Rob Rix	cca474b0e9	🔥 the Declarations1 obligation.	2019-10-01 12:46:43 -04:00
Rob Rix	5c6df16782	Move SomeTerm/withSomeTerm into Semantic.Api.Terms.	2019-10-01 12:45:01 -04:00
Rob Rix	a97e42a19e	Simplify the Traversable obligation down to just Foldable/Functor.	2019-10-01 12:42:56 -04:00
Rob Rix	5de3d14bcc	🔥 the HasTextElement & Taggable obligations from TermConstraints.	2019-10-01 12:39:55 -04:00
Rob Rix	05e0086c82	Factor out the term construction.	2019-10-01 12:38:59 -04:00
Rob Rix	598dce7fc8	🔥 ParseEffects.	2019-10-01 12:35:06 -04:00
Rob Rix	0f8da488b0	Don’t specialize parseSymbols for the PerLanguageModes.	2019-10-01 12:33:26 -04:00
Rob Rix	152e94a844	doParse handles the PerLanguageModes.	2019-10-01 12:32:13 -04:00
Rob Rix	785d52314a	Copy in our own version of doParse & SomeTerm.	2019-10-01 12:29:56 -04:00
Rob Rix	11091cf249	Generalize renderToSymbols for legacy tagging.	2019-10-01 12:14:40 -04:00
Rob Rix	371e0c0945	renderToSymbols is pure.	2019-10-01 12:11:52 -04:00
Rob Rix	f9c20bc462	Use ToTags for the legacy tagging API as well.	2019-10-01 12:10:51 -04:00
Rob Rix	f092a3017c	Parameterize ALaCarteTerm by the symbols to summarize.	2019-10-01 12:10:38 -04:00
Rob Rix	7259059b51	Combine the code paths.	2019-10-01 12:01:04 -04:00
Rob Rix	44b0614c7d	Define renderToSymbols using renderPreciseToSymbols.	2019-10-01 11:59:26 -04:00
Rob Rix	a43e947104	Render à la carte terms to symbols via ToTags.	2019-10-01 11:58:40 -04:00
Rob Rix	09f95d6cec	Define a helper to provide a ToTags instance for à la carte terms.	2019-10-01 11:58:04 -04:00
Rob Rix	1bc251183e	Generalize renderPreciseToSymbols to any term with a ToTags instance.	2019-10-01 11:57:00 -04:00
Rob Rix	937df795a1	Don’t pass the blob into runTagging.	2019-10-01 11:54:38 -04:00
Rob Rix	de5de5f936	Don’t pass the blob into contextualizing.	2019-10-01 11:51:28 -04:00
Rob Rix	e9fc6122c4	Don’t pass the blob into tagging.	2019-10-01 11:50:30 -04:00
Rob Rix	c0ecbb12b6	🔥 SomeParser. ... It’s unused.	2019-10-01 11:31:16 -04:00
Rob Rix	e19dc31c1e	Merge branch 'master' into parse-effect	2019-09-30 18:13:32 -04:00
Rob Rix	ddf5087fe2	📝 the Parse carrier modules.	2019-09-30 18:00:07 -04:00
Rob Rix	5b556eea3f	None of this did either.	2019-09-30 17:38:14 -04:00
Rob Rix	b37a8ae61c	None of this actually needed the TaskSession.	2019-09-30 17:37:07 -04:00
Rob Rix	58f23c0b7f	🔥 the TaskSession.	2019-09-30 17:23:32 -04:00
Rob Rix	6dc389fa34	.	2019-09-30 17:22:43 -04:00
Rob Rix	f1caf6beec	Pass the error up.	2019-09-30 17:20:35 -04:00
Rob Rix	9652ec9734	🔥 the Trace effect.	2019-09-30 17:19:46 -04:00
Rob Rix	b005ffb447	Don’t trace in Parsing.TreeSitter.	2019-09-30 17:14:11 -04:00
Rob Rix	9bd8ab260e	🔥 runAssignment.	2019-09-30 17:06:09 -04:00
Rob Rix	9295789b1d	🔥 a constructor we don’t check for.	2019-09-30 17:02:42 -04:00
Rob Rix	ee01643117	🔥 a bunch of redundant effects from the repl.	2019-09-30 17:00:49 -04:00
Rob Rix	8dcf0bef24	Use the simple carrier in util and the repl.	2019-09-30 16:57:51 -04:00
Rob Rix	afc4e46942	Simplify the simple carrier.	2019-09-30 16:57:42 -04:00
Rob Rix	b1832108ed	🔥 timings for most parsers.	2019-09-30 16:35:40 -04:00
Rob Rix	20e5bdd960	Duplicate the parse carrier.	2019-09-30 16:34:21 -04:00
Rob Rix	a99ef5f855	Rename Semantic.Parse to Control.Carrier.Parse.Measured.	2019-09-30 16:32:50 -04:00
Rob Rix	b783f94a32	Import just the effect where possible.	2019-09-30 16:32:37 -04:00
Rob Rix	d181a6228a	Move the Parse effect into its own module.	2019-09-30 16:26:52 -04:00