21627 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	f02adff5c1	🔥 a redundant language extension.	2018-05-11 09:33:41 -04:00
Rob Rix	4eab7b1cb3	Revert "Define unName as a function rather than a field selector." ... This reverts commit cc049408acc40a560ad85a5d53c776437c99565a.	2018-05-11 09:24:24 -04:00
Rob Rix	ed3d8c9e62	Correct runReturn & runLoopControl to short-circuit rather than continue.	2018-05-11 09:23:05 -04:00
Rob Rix	3d5ee730ac	We don’t need Fresh here.	2018-05-11 09:19:51 -04:00
Rob Rix	bb03cd9448	🔥 some redundant instances.	2018-05-11 09:15:40 -04:00
Rob Rix	bc5862adef	🔥 some redundant language extensions.	2018-05-11 09:15:20 -04:00
Rob Rix	4c4ae86514	Define unMap as a function rather than a field selector.	2018-05-11 09:10:56 -04:00
Rob Rix	764c05041e	Define unHeap as a function rather than a selector.	2018-05-11 09:09:51 -04:00
Rob Rix	c4dc798ffd	Define unExports as a function rather than a selector.	2018-05-11 09:08:59 -04:00
Rob Rix	17c6a5be85	Define unModuleTable as a function rather than a selector.	2018-05-11 09:08:01 -04:00
Rob Rix	24778e808f	🔥 deValue.	2018-05-11 09:06:27 -04:00
Rob Rix	f8966a11ed	Define unLatest as a function rather than a field selector.	2018-05-11 09:05:27 -04:00
Rob Rix	46295fed52	Define unEnvironment as a function rather than a field selector.	2018-05-11 09:03:21 -04:00
Rob Rix	fa2b566f08	Fix a doctest.	2018-05-11 08:58:53 -04:00
Rob Rix	2eb78e8f91	Define unName as a function rather than a field selector.	2018-05-11 08:56:42 -04:00
Rob Rix	d1c465ab14	Define unAddress as a function rather than a field selector.	2018-05-11 08:54:31 -04:00
Rob Rix	5cfa7028e7	Revert "Revert "🔥 the Generic1 instance for Environment."" ... This reverts commit ce88512116f1f55ad15433471a13a112cfc322c4.	2018-05-11 08:52:22 -04:00
Rob Rix	e18827f03f	Revert "Revert "Environments hold locations, not addresses."" ... This reverts commit b63e5f0b9c0099d7584d57fd1e1588c282f19043.	2018-05-11 08:52:19 -04:00
Rob Rix	4892f748c6	Correct a couple of expected values.	2018-05-11 08:47:30 -04:00
Rob Rix	5497b9a2a4	Swap the Heap location/cell params.	2018-05-11 08:36:45 -04:00
Rob Rix	e7f52d1a3c	Move the Addressable instance for Located down.	2018-05-11 08:36:07 -04:00
Rob Rix	6ba840e90b	Go back to simple address types.	2018-05-11 08:35:43 -04:00
Rob Rix	db185d5e47	Move Located into Data.Abstract.Address.	2018-05-11 00:09:17 -04:00
Rob Rix	a6eb856631	Revert "Environments hold locations, not addresses." ... This reverts commit 3587b055cbb692bd8426a1c06a2d7a2e3e338bb3.	2018-05-10 23:43:43 -04:00
Rob Rix	ddec76336e	Revert "🔥 the Generic1 instance for Environment." ... This reverts commit bdc444379c51aef592e5fb004d11137ad4fff1cc.	2018-05-10 23:43:40 -04:00
Rob Rix	5f0ed448ae	🔥 the Generic1 instance for Environment.	2018-05-10 22:11:08 -04:00
Rob Rix	016838cb81	Environments hold locations, not addresses.	2018-05-10 22:10:15 -04:00
Rob Rix	524aed4c86	🔥 a redundant language extension.	2018-05-10 22:10:04 -04:00
Rob Rix	8db812f865	Define the Eq1, Ord1, & Show1 instances for Address in terms of Eq, Ord, & Show on the location.	2018-05-10 21:56:20 -04:00
Rob Rix	e9095c3558	🔥 redundant Foldable, Functor, & Traversable instances for Address.	2018-05-10 21:52:59 -04:00
Rob Rix	e5f65e7af2	🔥 redundant Foldable, Functor, & Traversable instances for Environment.	2018-05-10 21:52:44 -04:00
Rob Rix	fe494ab5c4	Swap the order of the cell and location parameters to Cache.	2018-05-10 19:58:33 -04:00
Rob Rix	3a7ed73d66	Swap the order of the cell and location parameters to Configuration.	2018-05-10 19:57:15 -04:00
Rob Rix	2383cd05c5	Swap the order of the cell and location parameters to Heap.	2018-05-10 19:55:24 -04:00
Rob Rix	5f6fcba3bd	🔥 a bunch of unused instances.	2018-05-10 19:43:07 -04:00
Rob Rix	0b81b28213	Align some instances.	2018-05-10 19:42:19 -04:00
Rob Rix	b164fcff30	Rename the type parameters to Exports.	2018-05-10 19:42:01 -04:00
Rob Rix	1fa5f9a44b	Parameterize Located by the cell type.	2018-05-10 19:33:11 -04:00
Rob Rix	fdd0697d3e	Define Monovariant as a GADT indexed by its cell type.	2018-05-10 19:30:08 -04:00
Rob Rix	67892e9cf1	Define Precise as a GADT indexed by its cell type.	2018-05-10 19:27:20 -04:00
Rob Rix	0c0982c25f	Live stores locations directly.	2018-05-10 19:15:59 -04:00
Rob Rix	61e2dd9faf	🔥 the Foldable instance for Live.	2018-05-10 19:15:26 -04:00
Rob Rix	9818589a92	Add a convenience for constructing Live sets from addresses.	2018-05-10 19:15:05 -04:00
Rob Rix	44c4c5c78c	🔥 a bunch of redundant instances for Live.	2018-05-10 19:10:01 -04:00
Rob Rix	1c9a6fdbea	Align the instances.	2018-05-10 19:08:55 -04:00
Rob Rix	a916074ef9	Rename a bunch of type parameters.	2018-05-10 19:08:23 -04:00
Rob Rix	602728b54d	Align some instances.	2018-05-10 18:47:56 -04:00
Rob Rix	95e90534e3	Move the Just into the foldMapA.	2018-05-10 18:47:04 -04:00
Rob Rix	6dcd774f1c	We weren’t really getting anything from this constraint.	2018-05-10 18:37:12 -04:00
Rob Rix	72339800e3	🔥 the Precise/Monovariant field selectors.	2018-05-10 18:32:51 -04:00