18684 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	adce2707e2	Explicitly list the exports from Map.	2018-03-07 12:40:36 -05:00
Rob Rix	6981a2a6ce	Derive Eq2, Ord2, & Show2 instances for Map.	2018-03-07 12:36:06 -05:00
Rob Rix	104d9f77bf	Derive Eq1, Ord1, & Show1 instances for Map.	2018-03-07 12:35:49 -05:00
Rob Rix	f77812bb1e	Derive Foldable, Functor, & Traversable instances for Map.	2018-03-07 12:34:57 -05:00
Rob Rix	9c7c6ed652	Define a Reducer instance for Map.	2018-03-07 12:30:34 -05:00
Rob Rix	f199e7fa73	Define a Monoid instance for Map.	2018-03-07 12:26:32 -05:00
Rob Rix	303e55b403	Define a Semigroup instance for Map.	2018-03-07 12:25:39 -05:00
Rob Rix	24d37d7f8f	Derive Eq, Ord, & Show instances for Map.	2018-03-07 12:23:59 -05:00
Rob Rix	f0f7a6599a	Define a Monoidal Map type.	2018-03-07 12:23:31 -05:00
Rob Rix	257a068b3c	Stub in a Monoidal map module.	2018-03-07 12:22:52 -05:00
Rob Rix	c121a0665e	🔥 the dependency on pointed.	2018-03-07 12:19:27 -05:00
Rob Rix	e5b662f1ba	🔥 the re-export of Pointed.	2018-03-07 12:19:04 -05:00
Rob Rix	e6c9778ec9	Use Set.singleton instead of point to produce the free variables for Identifier.	2018-03-07 12:18:53 -05:00
Rob Rix	5b1187018f	Define the RunEffect instance for NonDetEff in terms of Reducer.	2018-03-07 12:18:23 -05:00
Rob Rix	df05cd25e3	Define cacheInsert using the Reducer instance.	2018-03-07 12:13:22 -05:00
Rob Rix	54cf116141	🔥 the Pointed instance for Dead.	2018-03-07 12:11:09 -05:00
Rob Rix	ceb42a0839	Define subterms using the Reducer instance.	2018-03-07 12:09:51 -05:00
Rob Rix	c08b46be04	Derive a Reducer instance for Dead.	2018-03-07 12:07:29 -05:00
Rob Rix	64b0e7f273	Clarify why we’re 'gather'ing into ().	2018-03-07 12:06:39 -05:00
Rob Rix	0f8f302316	Define gather using a Reducer.	2018-03-07 12:04:44 -05:00
Rob Rix	08472f6139	🔥 the Pointed instance for Latest.	2018-03-07 12:00:13 -05:00
Rob Rix	48e1ae7003	Flip the semigroup operator in storeInsert.	2018-03-07 12:00:04 -05:00
Rob Rix	57521b10f1	Stores use a Reducer to insert values.	2018-03-07 11:51:53 -05:00