19212 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Patrick Thomson	ed6f6e77ff	Merge pull request #1545 from github/remove-caching-interface ... 🔥 Control.Monad.Effect.Cache.	2018-03-12 10:10:04 -04:00
Patrick Thomson	019940401c	no TypeApplications necessary	2018-03-09 18:19:54 -05:00
Patrick Thomson	5bd1ff40ef	Implement evaluation over Arithmetic operations.	2018-03-09 18:13:09 -05:00
Timothy Clem	750cfc6b17	Merge remote-tracking branch 'origin/typescript-exports' into more-typescript-imports	2018-03-09 12:46:58 -08:00
Rob Rix	56db84b3f2	🔥 the Bifoldable/Bitraversable instances for Subterm.	2018-03-09 15:42:22 -05:00
Rob Rix	53517662cf	Roll caching an action into MonadCaching.	2018-03-09 15:37:34 -05:00
Rob Rix	fbd5c04227	Better API for isolating the cache & caching new values.	2018-03-09 15:21:12 -05:00
Rob Rix	a5704f49df	Improve the API for running an action with a new oracle.	2018-03-09 15:07:50 -05:00
Rob Rix	6535209dc9	Improve the API for consulting the oracle.	2018-03-09 15:06:18 -05:00
Rob Rix	346e2115e2	Evaluate the module in the underlying analysis.	2018-03-09 14:58:10 -05:00
Rob Rix	2109310e9e	🔥 memoizeEval.	2018-03-09 14:57:33 -05:00
Rob Rix	a717bd54f7	Converge for the whole module, not per-term.	2018-03-09 14:57:09 -05:00
Rob Rix	e0076f3fb6	Leave the default signature alone.	2018-03-09 14:46:28 -05:00
Rob Rix	546f8bb3ec	modifyGlobalEnv is not primitive.	2018-03-09 14:41:27 -05:00
Rob Rix	b3efd3b1e2	putStore is primitive.	2018-03-09 14:40:30 -05:00
Rob Rix	8966824307	Rename lift to raise.	2018-03-09 14:36:16 -05:00
Rob Rix	d3ed05fe99	Derive a bunch more instances.	2018-03-09 14:32:48 -05:00
Rob Rix	06e0645f83	Rename CachingAnalysis to Caching.	2018-03-09 14:30:33 -05:00
Rob Rix	26295e0008	Rename DeadCodeAnalysis to DeadCode.	2018-03-09 14:30:01 -05:00
Rob Rix	bd9b231a83	Rename TracingAnalysis to Tracing.	2018-03-09 14:29:11 -05:00
Rob Rix	386807618a	Only export the Evaluating type, evaluate, and evaluates.	2018-03-09 14:28:34 -05:00
Rob Rix	b2e687afd7	Only export the TracingAnalysis type.	2018-03-09 14:28:25 -05:00
Rob Rix	0d950057f6	Only export the DeadCodeAnalysis type.	2018-03-09 14:27:26 -05:00
Rob Rix	fa14baded7	Only export the CachingAnalysis type.	2018-03-09 14:27:00 -05:00
Rob Rix	9169a6134d	Only export CachingAnalysis.	2018-03-09 14:26:30 -05:00
Rob Rix	13a6e14b58	Re-export MonadFresh & MonadNonDet.	2018-03-09 14:25:02 -05:00
Rob Rix	5887d4ef10	🔥 redundant Foldable constraints.	2018-03-09 14:21:14 -05:00
Rob Rix	08a707a7e2	Sort some contexts.	2018-03-09 14:20:53 -05:00
Rob Rix	e48bd18d88	Abstract the caching functions.	2018-03-09 14:19:37 -05:00
Rob Rix	e9ae4bb48b	🔥 the In/Out cache effect synonyms.	2018-03-09 14:13:47 -05:00
Rob Rix	bace1c3d74	Sort imports &c.	2018-03-09 14:11:43 -05:00
Rob Rix	b40d662690	Tidy up language extensions.	2018-03-09 14:08:46 -05:00
Rob Rix	5d99219f86	🔥 the DeadCode synonym.	2018-03-09 14:02:03 -05:00
Rob Rix	ebf7c039cd	🔥 Trace.	2018-03-09 14:01:52 -05:00
Rob Rix	c86a2a0d14	🔥 Tracer.	2018-03-09 14:00:09 -05:00
Rob Rix	621f6f45f0	🔥 a redundant export list.	2018-03-09 13:56:08 -05:00
Rob Rix	ab0adf7dc8	🔥 some redundant imports.	2018-03-09 13:56:00 -05:00
Rob Rix	6a99bb633c	🔥 some redundant constraints.	2018-03-09 13:55:33 -05:00
Rob Rix	bccfdbf4d3	🔥 a bunch of redundant constraints.	2018-03-09 13:36:16 -05:00
Rob Rix	90f6aec2cd	Reformat deref & alloc.	2018-03-09 13:35:00 -05:00
Rob Rix	e33af1aa70	Simplify the superclasses of MonadValue.	2018-03-09 13:34:18 -05:00
Rob Rix	14e29254dd	Avoid redundant functional dependencies.	2018-03-09 13:33:26 -05:00
Rob Rix	73086d9f63	Use runAnalysis to simplify evaluate/s.	2018-03-09 13:24:40 -05:00
Rob Rix	7702321f95	Eta-reduce the analysis type in runAnalysis.	2018-03-09 13:20:26 -05:00
Rob Rix	411de01585	Remove the effects parameters from MonadEvaluator and MonadAnalysis.	2018-03-09 13:17:48 -05:00
Rob Rix	c7bdb13cc4	🔥 the term & effects parameters from MonadAddressable.	2018-03-09 13:01:11 -05:00
Rob Rix	e224f0c80b	🔥 the effects parameter from MonadValue.	2018-03-09 12:57:20 -05:00
Rob Rix	836a76b2ea	EvaluatingEffects doesn’t need to prepend.	2018-03-09 12:24:15 -05:00
Rob Rix	3b31cf1ec8	Merge branch 'master' into re-enable-tracing-analyses	2018-03-09 12:22:06 -05:00
Rob Rix	80035c8fbc	Tidy language extensions.	2018-03-09 12:11:07 -05:00