17934 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	050f8cf8dc	Clarify the docs for getsCache.	2017-12-21 15:53:26 -05:00
Rob Rix	021017b0e4	Rename dollar to prevCache.	2017-12-21 15:51:53 -05:00
Rob Rix	738385ab04	Use the singleton set constructor explicitly.	2017-12-21 15:50:43 -05:00
Rob Rix	854999aa8e	Use getsCache to define evCache.	2017-12-21 15:48:29 -05:00
Rob Rix	afdbf79f7f	Define a getsCache function.	2017-12-21 15:47:49 -05:00
Rob Rix	f4e6ae61dd	Use getConfiguration to tidy up evCache & fixCache.	2017-12-21 15:41:16 -05:00
Rob Rix	9b57847bac	Define a getConfiguration helper.	2017-12-21 15:39:45 -05:00
Rob Rix	a1d7c5ede4	Rename collect to gather.	2017-12-21 15:35:37 -05:00
Rob Rix	aae7db2ba4	Inline the definition of foldMapA.	2017-12-21 15:34:20 -05:00
Rob Rix	3201f40987	Factor the scattering function out.	2017-12-21 15:29:51 -05:00
Rob Rix	de2b346e14	🔥 redundant calls to toList.	2017-12-21 15:27:05 -05:00
Rob Rix	10b7ce1ff3	Use foldMapA instead of asum/map.	2017-12-21 15:13:35 -05:00
Rob Rix	a50a63e6c0	Define a generalization of foldMap to Alternative.	2017-12-21 15:11:51 -05:00
Rob Rix	6723936881	Rename the cache binding.	2017-12-21 14:59:29 -05:00
Rob Rix	a9fca0db5f	📝 fixCache.	2017-12-21 14:57:14 -05:00
Rob Rix	01598e70c9	📝 evCache.	2017-12-21 14:55:21 -05:00
Rob Rix	3331746591	📝 the components to mlfp.	2017-12-21 14:53:39 -05:00
Rob Rix	93a47730ea	Swap the parameters to mlfp.	2017-12-21 14:47:11 -05:00
Rob Rix	db040aea62	Reformat mlfp’s signature.	2017-12-21 14:46:21 -05:00
Rob Rix	0aece7bea0	Note the coinduction.	2017-12-21 14:45:51 -05:00
Rob Rix	e629b0bc84	📝 mlfp.	2017-12-21 14:44:19 -05:00
Rob Rix	fb455ce8fc	📝 MonadCachingInterpreter.	2017-12-21 14:42:57 -05:00
Rob Rix	718f15ee05	📝 CachingResult.	2017-12-21 14:41:39 -05:00
Rob Rix	3f98649cb7	📝 the individual components of CachingInterpreter.	2017-12-21 14:41:21 -05:00
Rob Rix	e029da7854	📝 CachingInterpreter.	2017-12-21 14:36:23 -05:00
Rob Rix	7000e5ab60	Clarify the docs for evalTrace and evalReach.	2017-12-21 14:33:38 -05:00
Rob Rix	116cc96627	📝 evTell.	2017-12-21 14:33:14 -05:00
Rob Rix	adbc7e6623	📝 ReachableStateInterpreter.	2017-12-21 14:32:40 -05:00
Rob Rix	dd6d1fbd4a	📝 TraceInterpreter.	2017-12-21 14:32:22 -05:00
Rob Rix	4bf9d38435	📝 the specific effects in tracing interpreters.	2017-12-21 14:31:53 -05:00
Rob Rix	f0c9c803bb	🔥 a couple of redundant Readers.	2017-12-21 14:31:11 -05:00
Rob Rix	a4c34c84c8	📝 TracingInterpreter.	2017-12-21 14:30:57 -05:00
Rob Rix	11ae928e21	Combine the recurrence.	2017-12-21 14:29:08 -05:00
Rob Rix	5b29967262	Swap the order of the parameters to go.	2017-12-21 14:27:53 -05:00
Rob Rix	d19d5ad691	📝 the components of reachable’s signature.	2017-12-21 14:26:20 -05:00
Rob Rix	2232e5b03e	Reformat the signature for reachable.	2017-12-21 14:25:22 -05:00
Rob Rix	e4ae5d8c92	📝 reachable.	2017-12-21 14:23:43 -05:00
Rob Rix	2c1fddde06	📝 the gc components.	2017-12-21 14:23:21 -05:00
Rob Rix	2bb6c78526	Note that the gc traces.	2017-12-21 14:22:28 -05:00
Rob Rix	955c4e8bd4	Reformat the context for gc.	2017-12-21 13:30:14 -05:00
Rob Rix	1389e22fe5	Reformat the signature for gc.	2017-12-21 13:29:56 -05:00
Rob Rix	580ab01134	📝 gc.	2017-12-21 13:29:40 -05:00
Rob Rix	cebc231049	📝 evCollect.	2017-12-21 13:29:16 -05:00
Rob Rix	12a1e7cc5f	📝 evDead.	2017-12-21 13:27:30 -05:00
Rob Rix	47ab4f41f4	📝 DeadCodeResult.	2017-12-21 13:26:30 -05:00
Rob Rix	342b6372e8	📝 the effects in DeadCodeInterpreter.	2017-12-21 13:26:05 -05:00
Rob Rix	aa708a1964	🔥 the Live set reader from Interpreter.	2017-12-21 13:25:20 -05:00
Rob Rix	336a595ff5	🔥 another spurious Reader.	2017-12-21 13:24:49 -05:00
Rob Rix	191acc05a7	📝 DeadCodeInterpreter.	2017-12-21 13:24:43 -05:00
Rob Rix	ef13a1376f	📝 EvalResult.	2017-12-21 13:23:54 -05:00