47 Commits

Author	SHA1	Message	Date
Rob Rix	ab5b566bcb	Define a smart constructor for Assign.	2019-11-04 12:16:28 -05:00
Rob Rix	b1c2f261e9	Define a smart constructor for Deref.	2019-11-04 12:16:00 -05:00
Rob Rix	d23f34b8c4	Move the Heap effect to its own module.	2019-11-04 12:14:38 -05:00
Rob Rix	6359d96a7c	Stub in a module for the Heap effect.	2019-11-04 12:13:44 -05:00
Rob Rix	961bf622ca	🔥 the Analysis env fields.	2019-11-04 12:12:59 -05:00
Rob Rix	17da79fe24	Reformat the importGraphAnalysis signature.	2019-11-04 12:10:54 -05:00
Rob Rix	d70a169e93	Reorder the contexts for ease of type application.	2019-11-04 12:09:01 -05:00
Rob Rix	eb591f94df	Use the Env effect to define the scope graph analysis.	2019-11-01 15:23:21 -04:00
Rob Rix	0f7be2084d	Use the Env effect to define the import graph analysis.	2019-11-01 15:23:13 -04:00
Rob Rix	9e472c5956	Use the Env effect to define the Analysis.	2019-11-01 15:20:58 -04:00
Rob Rix	5fef3262e5	Move the monovariant Env carrier into its own module.	2019-11-01 15:19:01 -04:00
Rob Rix	778f84bb12	Define a module for the monovariant Env carrier.	2019-11-01 15:13:15 -04:00
Rob Rix	e58db3da31	Use the env effect in the concrete analysis.	2019-11-01 15:12:36 -04:00
Rob Rix	06ea57e167	Move the precise env carrier to its own module.	2019-11-01 15:04:22 -04:00
Rob Rix	d8955fdb20	Stub in a module for the precise Env carrier.	2019-11-01 15:00:03 -04:00
Rob Rix	6305e661c4	Run the env effect.	2019-11-01 14:59:04 -04:00
Rob Rix	7809bd2e8d	Move Env into its own module.	2019-11-01 14:58:33 -04:00
Rob Rix	131c804184	Stub in a module for the Env effect.	2019-11-01 14:56:43 -04:00
Rob Rix	ec94b7de1a	Define a carrier for monovariant Env.	2019-11-01 14:55:48 -04:00
Rob Rix	f0739bb151	Run the env carrier.	2019-11-01 14:52:21 -04:00
Rob Rix	4f44170281	Derive a MonadFail instance for EnvC.	2019-11-01 14:52:17 -04:00
Rob Rix	3aa3cb5005	Define a concrete Env carrier.	2019-11-01 14:51:24 -04:00
Rob Rix	2ef1a7aa12	Qualify the import of Analysis.	2019-11-01 14:46:55 -04:00
Rob Rix	2eb80687ea	Define a smart constructor for Lookup.	2019-11-01 14:43:04 -04:00
Rob Rix	1c1caac53b	Define a smart constructor for Bind.	2019-11-01 14:42:18 -04:00
Rob Rix	1a48a16a44	Define a smart constructor for Alloc.	2019-11-01 14:41:40 -04:00
Rob Rix	7508f9c902	Export Env.	2019-11-01 14:41:31 -04:00
Rob Rix	cf1371f66a	Derive an Effect instance for Domain.	2019-11-01 14:39:59 -04:00
Rob Rix	fe29381b33	Derive an Effect instance for Heap.	2019-11-01 14:39:51 -04:00
Rob Rix	9c5289f54b	Define an Effect instance for Env.	2019-11-01 14:30:32 -04:00
Rob Rix	597b8f0813	Derive an HFunctor instance for Domain.	2019-11-01 13:20:28 -04:00
Rob Rix	894234d058	Derive an HFunctor instance for Heap.	2019-11-01 13:19:35 -04:00
Rob Rix	39a2df683d	Define an HFunctor instance for Env.	2019-11-01 13:18:57 -04:00
Rob Rix	46984f04c1	Alignment.	2019-10-11 17:22:59 -04:00
Rob Rix	5acb7bee11	Add records to Domain.	2019-10-11 17:20:21 -04:00
Rob Rix	532f3b3196	Comments grouping the constructors.	2019-10-11 17:17:40 -04:00
Rob Rix	2a6b7c55a1	Give Unit a continuation.	2019-10-11 17:16:44 -04:00
Rob Rix	30ed90072d	Parameterize value by the term and name types.	2019-10-11 17:16:22 -04:00
Rob Rix	5cbab3e8f9	Define a Domain effect.	2019-10-11 17:06:20 -04:00
Rob Rix	bd8b21ebba	Define a Heap effect.	2019-10-11 16:50:36 -04:00
Rob Rix	e20c60f7a7	Define an Env effect.	2019-10-11 16:49:37 -04:00
Rob Rix	7f39647c22	🔥 the redundant dependencies on directory & filepath.	2019-10-11 14:38:00 -04:00
Rob Rix	ac103657aa	Use pathtype instead of directory & filepath to set up the readline effect.	2019-10-11 14:37:29 -04:00
Rob Rix	6d5583131d	🔥 semantic-analysis doctests.	2019-10-11 12:54:29 -04:00
Rob Rix	7f857c8c58	🔥 a doctest we can’t run.	2019-10-11 12:54:21 -04:00
Rob Rix	284c1ae4f8	Copy the Analysis.* and Control.* hierarchies into semantic-analysis.	2019-10-11 12:49:37 -04:00
Rob Rix	71a6331c7a	Stub in a package for analysis.	2019-10-11 12:42:49 -04:00