18707 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	8ac41065ec	Define delegateAnalyzeTerm using Coercible.	2018-03-07 21:02:21 -05:00
Rob Rix	7e6ff8674d	Use delegateAnalysis.	2018-03-07 20:49:16 -05:00
Rob Rix	4226d0f259	Use -XDerivingStrategies to correct the instances.	2018-03-07 20:49:00 -05:00
Rob Rix	4945fdf575	Sort imports.	2018-03-07 20:41:57 -05:00
Rob Rix	35d82b2487	Give a default definition for O1.	2018-03-07 19:15:43 -05:00
Rob Rix	1de12b1119	Reformat the signature for delegateAnalyzeTerm.	2018-03-07 19:08:32 -05:00
Rob Rix	1b004925c4	Derive Generic1 & Newtype1 instances for TracingAnalysis.	2018-03-07 19:04:15 -05:00
Rob Rix	7215f499a0	Define a function delegating term analysis to an underlying MonadAnalysis instance.	2018-03-07 19:04:02 -05:00
Rob Rix	11360000cb	Move Newtype1 into its own module.	2018-03-07 19:03:46 -05:00
Rob Rix	f4fcdfecf1	Stub in a module for Newtype1.	2018-03-07 19:02:16 -05:00
Rob Rix	f3ace5ca2a	Give an instance of GNewtype1.	2018-03-07 19:00:41 -05:00
Rob Rix	e30a4d3f25	Define default implementations of pack1 and unpack1 for Generic1 types.	2018-03-07 18:56:50 -05:00
Rob Rix	9c49bb2f0c	Define a generic Newtype1 analogue.	2018-03-07 18:56:35 -05:00
Rob Rix	d49d2860dd	Define a Newtype1 typeclass.	2018-03-07 18:53:31 -05:00
Rob Rix	d0a464318e	Format analyzeTerm over several lines.	2018-03-07 18:40:05 -05:00
Rob Rix	b9a6d1bda5	Give a tacit definition of trace.	2018-03-07 18:39:41 -05:00
Rob Rix	6b9ae3eb73	🔥 some redundant constraints.	2018-03-07 18:36:16 -05:00
Rob Rix	6ed41a911c	Move the Ord constraint on the location into the class methods requiring it.	2018-03-07 18:35:56 -05:00
Rob Rix	704f09083f	Abstract the dead code analysis over the underlying analysis.	2018-03-07 18:31:18 -05:00
Rob Rix	d6b04d9858	Rename a bunch of type parameters.	2018-03-07 18:14:45 -05:00
Rob Rix	176142b471	Pull subterms out to the top level.	2018-03-07 18:14:40 -05:00
Rob Rix	ccb66340fd	Simplify the constraints on the MonadAnalysis instance.	2018-03-07 18:10:25 -05:00
Rob Rix	7d2cfbe918	🔥 evaluateTrace.	2018-03-07 18:06:15 -05:00
Rob Rix	19ae302c40	Define the tracePythonFile helper w/o evaluateTrace.	2018-03-07 18:05:53 -05:00
Rob Rix	3ec8d65126	🔥 a redundant constraint.	2018-03-07 18:01:44 -05:00
Rob Rix	8b43136fc8	Derive the MonadEvaluator instance directly.	2018-03-07 18:01:37 -05:00
Rob Rix	86fafc5abd	Rename AnalysisTerm/Value to Term/ValueFor.	2018-03-07 17:48:20 -05:00
Rob Rix	2490cc1d43	Parameterize TracingAnalysis by the underlying monad.	2018-03-07 17:47:42 -05:00
Rob Rix	c7dbc9842c	Provide the effect list via a type family.	2018-03-07 17:46:02 -05:00
Rob Rix	f121205fa4	Define a convenience for applying Tracer to the underlying monad.	2018-03-07 17:37:30 -05:00
Rob Rix	2dc698b3e8	Define a convenience for applying Trace to the underlying monad.	2018-03-07 17:35:40 -05:00
Rob Rix	45fccdc7dc	Add a lower method to LiftEffect.	2018-03-07 17:34:17 -05:00
Rob Rix	1f7d9672ea	Remove the term/value parameters from TracingAnalysis.	2018-03-07 17:32:05 -05:00
Rob Rix	af5f1de520	Redefine the Tracer convenience.	2018-03-07 15:24:29 -05:00
Rob Rix	147c373c29	Define a helper for tracing Python files.	2018-03-07 15:23:36 -05:00
Rob Rix	5846ab7315	trace is of kind * -> *.	2018-03-07 15:23:30 -05:00
Rob Rix	ded1c3e5e8	Parameterize the Evaluation analysis by the effect set.	2018-03-07 15:11:44 -05:00
Rob Rix	b0de8c5830	Represent term/value types with type families.	2018-03-07 15:05:08 -05:00
Rob Rix	16d03caf3d	Rename the term/value type parameters.	2018-03-07 13:59:47 -05:00
Rob Rix	94dfeb34ad	Abstract TracingAnalysis over the underlying evaluator.	2018-03-07 13:46:51 -05:00
Rob Rix	fb19c9df32	Define Store over a Monoidal Map.	2018-03-07 13:28:29 -05:00
Rob Rix	09650a1330	Define a filterWithKey function for Map.	2018-03-07 13:25:30 -05:00
Rob Rix	6588787368	Define a size function for Map.	2018-03-07 13:24:27 -05:00
Rob Rix	eee6c84553	Simplify cacheInsert further!	2018-03-07 12:50:38 -05:00
Rob Rix	4c1133e593	Simplify cacheInsert.	2018-03-07 12:50:27 -05:00
Rob Rix	52b4609027	Derive a Reducer instance for Cache.	2018-03-07 12:49:06 -05:00
Rob Rix	a8fdeddd6f	Define Cache using a Monoidal Map.	2018-03-07 12:46:55 -05:00
Rob Rix	b940eb6e86	Define an insert function for Map.	2018-03-07 12:46:08 -05:00
Rob Rix	2aeab94001	Define a lookup function for Map.	2018-03-07 12:44:05 -05:00
Rob Rix	00942f7073	Re-export the Reducer interface.	2018-03-07 12:40:57 -05:00