18647 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	81e5fa061a	Use a pointful definition for <>.	2018-03-07 11:50:15 -05:00
Rob Rix	15f8962700	Specialize snoc & cons.	2018-03-07 11:49:52 -05:00
Rob Rix	b0815eeb36	Define a Reducer instance for Latest.	2018-03-07 11:49:11 -05:00
Rob Rix	b2b29974d6	Correct the 📝 for memoizeEval.	2018-03-07 11:42:54 -05:00
Rob Rix	b7c0afb02e	🔥 the old commented-out evCache.	2018-03-07 11:42:24 -05:00
Rob Rix	03a0717ca9	Use CacheFor everywhere we can.	2018-03-07 11:42:14 -05:00
Rob Rix	2deae91af1	Define a CacheFor synonym.	2018-03-07 11:40:02 -05:00
Rob Rix	3fc768fac7	Use CellFor everywhere we can.	2018-03-07 11:38:36 -05:00
Rob Rix	7e439f8772	📝 ConfigurationFor.	2018-03-07 11:34:39 -05:00
Rob Rix	e1885469c1	📝 CellFor.	2018-03-07 11:34:11 -05:00
Rob Rix	6c0a818269	Define a CellFor synonym.	2018-03-07 11:33:56 -05:00
Rob Rix	1c00a35d3c	Use ConfigurationFor to tidy up Tracing.	2018-03-07 11:33:12 -05:00
Rob Rix	2467e5f41c	Define a ConfigurationFor synonym.	2018-03-07 11:32:44 -05:00
Rob Rix	a2c395d54b	Tracing uses a Reducer.	2018-03-07 11:27:17 -05:00
Rob Rix	adfbc011a0	📝 Trace.	2018-03-07 11:22:07 -05:00
Rob Rix	e11af85093	Define a Trace synonym.	2018-03-07 11:21:41 -05:00
Rob Rix	28a5aca6c3	Reformat the signature for trace.	2018-03-07 11:20:26 -05:00
Rob Rix	fae0fcd7da	Define trace using LiftEffect.	2018-03-07 11:18:09 -05:00
Rob Rix	0d296bd6b1	Derive a LiftEffect instance for the tracing analysis.	2018-03-07 11:17:38 -05:00
Rob Rix	b05d9ac5d3	Derive a LiftEffect instance for Evaluator.	2018-03-07 11:16:26 -05:00
Rob Rix	669f652062	Define a LiftEffect instance for Eff.	2018-03-07 11:05:11 -05:00
Rob Rix	0087c5a1d1	Define a typeclass for lifting effects into some wrapping context.	2018-03-07 11:04:53 -05:00
Rob Rix	86fb1a8706	Parameterize TracingAnalysis by the list of effects.	2018-03-07 10:53:19 -05:00
Rob Rix	3780ffa628	Disable TypeFamilies.	2018-03-07 10:52:40 -05:00
Rob Rix	41103a52fe	Rearrange the parameters to Evaluator.	2018-03-07 10:43:05 -05:00
Rob Rix	29866143b7	🔥 the root set effect.	2018-03-07 10:39:48 -05:00
Rob Rix	7520910147	📝 the CachingEffects.	2018-03-07 10:39:24 -05:00
Rob Rix	158c9251fb	🔥 EvaluationEffects.	2018-03-07 10:36:18 -05:00
Rob Rix	54033f5926	Copy the comments for the evaluator effects.	2018-03-07 10:35:25 -05:00
Rob Rix	a2f3c0c6df	Define CachingEffects in terms of EvaluatorEffects.	2018-03-07 10:33:54 -05:00
Rob Rix	f534844342	Define DeadCodeEffects in terms of EvaluatorEffects.	2018-03-07 10:28:23 -05:00
Rob Rix	ad234eb56b	Define TracingEffects in terms of EvaluatorEffects.	2018-03-07 10:27:31 -05:00
Rob Rix	743c17e74c	Extract an EvaluatorEffects synonym.	2018-03-07 10:24:07 -05:00
Rob Rix	0cc7ece380	📝 Tracer.	2018-03-07 10:21:40 -05:00
Rob Rix	83228ce526	Use the Tracer effect synonym in TracingEffects.	2018-03-07 10:21:02 -05:00
Rob Rix	762ab7f31d	Define a Tracer effect synonym.	2018-03-07 10:20:50 -05:00
Rob Rix	a3e500ca14	Define a Bitraversable instance for Subterm.	2018-03-07 10:18:37 -05:00